Proceedings 16th International Refinement Workshop
This is an incremental contribution, compiling existing research for a specialized audience in formal methods and software engineering.
This paper presents the proceedings of the 16th International Refinement Workshop, which includes 6 peer-reviewed papers covering topics in the theory and application of refinement, a formal software engineering process for developing detailed designs from abstract specifications while maintaining correctness.
The 16th BCS-FACS Refinement Workshop was co-located with iFM 2013 held in Turku, Finland on June 11th, 2013. This volume contains the 6 papers selected for presentation at the workshop following a peer review process. The papers cover a wide range of topics in the theory and application of refinement. 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.