5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 / edited by Cliff B. Jones, Roger C. Shaw, Tim Denvir.
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1992.
|
| Series: | Workshops in computing.
|
| Subjects: |
Table of Contents:
- Opening Address
- Concurrent Processes as Objects (Abstract)
- Formalising Dijkstra's Development Strategy within Stark's Formalism
- A Recursion Removal Theorem
- Demonstrating the Compliance of Ada Programs with Z Specifications
- Methods and Tools for the Verification of Critical Properties
- Refinement and Confidentiality
- Software Reification using the SETS Calculus
- Classification of Refinements in VDM
- Constructive Refinement of First Order Specifications
- A Model of the Refinement Process
- A Window Inference Tool for Refinement
- Using Metavariables in Natural Deduction Proofs
- A Tactic Driven Refinement Tool
- Revisiting Abstraction Functions for Reasoning about Concurrency
- A Case Study in Formally Developing State-Based Parallel Programs
- the Dutch National Torus
- Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language
- A Note on Compositional Refinement
- Implementing Promoted Operations in Z
- Author Index.