Proceedings 16th International Refinement Workshop
John Derrick (University of Sheffield), Eerke Boiten (University of, Kent), Steve Reeves (University of Waikato)
TL;DR
This collection of papers from the 16th International Refinement Workshop discusses advances in the formal refinement process in software engineering, emphasizing correctness-preserving development from abstract specifications to detailed designs.
Contribution
The workshop presents new research and applications in formal refinement, highlighting its role in ensuring correctness during software development.
Findings
Refinement techniques improve software correctness.
Mathematically-based steps ensure consistency with specifications.
Application of refinement in various software engineering contexts.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.