REFINE 2002: The BCS FACS Refinement Workshop

Boiten, Eerke (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, John and Boiten, Eerke and Woodcock, Jim and von Wright, Joakim, eds. REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002). Electronic Notes in Theoretical Computer Science, 70. Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)


This volume contains the Proceedings of the REFINE 2002 workshop. The Workshop was held in Copenhagen, Denmark on July 20 and 21, 2002, as a satellite event to FLoC'02 as an FME-affiliated workshop. Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is 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 was 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 was to provide a forum for discussion of common ground and key differences. Topics of interest included: • Simulation techniques • Foundations and semantics • Case studies (specification and verification) • Compositional and modular reasoning • Object-orientation • Time • Specification notations • Programming models • Verification and tool support

Item Type: Conference or workshop item (Other)
Uncontrolled keywords: refinement, formal methods
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59
Last Modified: 18 Jul 2014 11:34
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):