Proceedings 16th International Refinement Workshop
Software Engineering
2013-05-27 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1305.5634,
title = {Proceedings 16th International Refinement Workshop},
author = {John Derrick and Eerke Boiten and Steve Reeves},
journal= {arXiv preprint arXiv:1305.5634},
year = {2013}
}
Comments
This volume is dedicated to the memory of Kaisa Sere