Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. 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) (KAR id:13759)
| 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. |
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: | Edited book |
|---|---|
| Uncontrolled keywords: | refinement, formal methods |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Eerke Boiten |
| Date Deposited: | 24 Nov 2008 17:59 UTC |
| Last Modified: | 16 Nov 2021 09:51 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/13759 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Boiten, Eerke Albert.
| Creator's ORCID: |
 https://orcid.org/0000-0002-9184-8968
|
|---|---|
| CReDIT Contributor Roles: |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
