5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 / Cliff B. Jones, Roger C. Shaw, and Tim Denvir, eds.
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Other title: | Fifth Refinement Workshop. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
1992.
|
| Series: | Workshops in computing.
|
| Subjects: |
Table of Contents:
- Concurrent processes as objects (abstract) / R. Milner
- Formalising Dijkstra's development strategy within Stark's formalism / A. Cau, R. Kuiper and W.-P. de Roever
- A recursion removal theorem / M. Ward
- Demonstrating the compliance of Ada programs with Z specifications / C.T. Sennett
- Methods and tools for the verification of critical properties / R.B. Jones
- Refinement and confidentiality / C. O'Halloran
- Software reification using the SETS calculus / J.N. Oliveira
- Classification of refinements in VDM / M. Elvang-Gøransson
- Constructive refinement of first order specifications / A. Gravell
- A model of the refinement process / M. Naftalin
- A window inference tool for refinement / J. Grundy. Using metavariables in natural deduction proofs / T. Clement
- A tactic driven refinement tool / L. Groves, R. Nickson and M. Utting
- Revisiting abstraction functions for reasoning about concurrency / J.M. Wing
- A case study in formally developing state-based parallel programs : the Dutch National Torus / X. Qiwen and H. Jifeng
- Proving total correctness with respect to a fair (shared-state) parallel language / K. Stølen
- A note on compositional refinement / J. Zwiers, J. Coenen and W.-P. de Roever
- Implementing promoted operations in Z / J.C.P. Woodcock.