FACS 2013 - BCS FACS 2013 Refinement Workshop 2013

Organisers:
Eerke Boiten, University of Kent, UK
John Derrick, University of Sheffield, UK
Steve Reeves, University of Waikato, NZ
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification. The aim of this BCS FACS Refinement Workshop, is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.