Browse through e-books

6th Refinement Workshop [1994]

1
Using Refinement to Understand Architectural Connection
2
Formal Semantics for Ward & Mellor’s Transformation Schemas
3
Improving the Process of System Specification and Refinement in B
4
Testing and Safety Analysis of AM (Abstract Machine) Specifications
5
Formal Development of Authentication Protocols
6
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement
7
Program Refinement by Theorem Prover
8
Co-Refinement
9
Metavariables and Conditional Refinements in the Refinement Calculus
10
Machine Code Programs are Predicates Too
11
Laws of Parallel Programming with Shared Variables
12
Environment-based Development of Reactive Systems
13
Refinement in Object-Oriented Specification Languages
15
Proof Obligations for Real-Time Refinement
260
Operation Semantics with Read and Write Frames
Feedback