15th Refinement Workshop
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.
The aim of this BCS FACS Refinement Workshop, is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.
The purpose of the workshop is to provide a forum for the exchange of ideas, and discussion of common ground and key differences.
Topics of interest include (but are not limited to):
Submissions: | March 21, 2011 |
Notification: | April 15, 2011 |
Event: | June 20, 2011-June 20, 2011 |