REFINE 2002: The BCS FACS Refinement Workshop

Boiten, E.A. (2002) REFINE 2002: The BCS FACS Refinement Workshop. In: Derrick, J. and Boiten, E.A. and Woodcock, J.C.P. and von Wright, J., 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 available from this repository)

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

Abstract

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: 12 Jun 2012 12:57
Resource URI: http://kar.kent.ac.uk/id/eprint/13759 (The current URI for this page, for reference purposes)
  • Depositors only (login required):