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