6th Refinement Workshop Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at o...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1994, 1994
|
| Edition: | 1st ed. 1994 |
| Series: | Workshops in Computing
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Invited Papers
- Using Refinement to Understand Architectural Connection
- Formal Semantics for Ward and Mellor’s Transformation Schemas
- Submitted Papers
- Improving the Process of System Specification and Refinement in B
- Testing and Safety Analysis of AM (Abstract Machine) Specifications
- Formal Development of Authentication Protocols
- Deriving Language Recognition Algorithms. A Case Study in Combining Program Specialisation and Data Refinement
- Program Refinement by Theorem Prover
- Co-Refinement
- Metavariables and Conditional Refinements in the Refinement Calculus
- Machine Code Programs Are Predicates Too
- Laws of Parallel Programming with Shared Variables
- Environment-Based Development of Reactive Systems
- Refinement in Object-Oriented Specification Languages
- Operation Semantics with Read and Write Frames
- Proof Obligations for Real-Time Refinement
- Author Index