Proceedings 16th International Refinement Workshop
Year: 2013
Type: paratext
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.
DOI: 10.4204/eptcs.115
Authors: Derrick, John, Boiten, Eerke, Reeves, Steve
Institutions: University of Sheffield, University of Kent, University of Waikato
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W1901716060