Proceedings 16th International Refinement Workshop
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2013
- DOI:
- 10.48550/arXiv.1305.5634
- arXiv:
- arXiv:1305.5634
- Bibcode:
- 2013arXiv1305.5634D
- Keywords:
-
- Computer Science - Software Engineering;
- Computer Science - Logic in Computer Science
- E-Print:
- This volume is dedicated to the memory of Kaisa Sere