| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745421
|
| Doc. No
|
:
|
b565370
|
| Main Entry
|
:
|
organised by BCS-FACS. Cliff B. Jones ... (eds.).
|
| Title & Author
|
:
|
Proceedings of the 5th Refinement Workshop : : London, 8-10 January 1992\ organised by BCS-FACS. Cliff B. Jones ... (eds.).
|
| Publication Statement
|
:
|
London ; Berlin <<>> : Springer, 1992
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
VIII, 378 Seiten : Diagramme.
|
| ISBN
|
:
|
0387197524
|
|
|
:
|
: 3540197524
|
|
|
:
|
: 9780387197524
|
|
|
:
|
: 9783540197522
|
| 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.
|
| Subject
|
:
|
Softwareentwicklung.
|
| Subject
|
:
|
Verfeinerung.
|
| LC Classification
|
:
|
QA76.76.D47O743 1992
|
| Added Entry
|
:
|
British Computer Society. Specialist Group in Formal Aspects of Computing Science.
|
|
|
:
|
Cliff B Jones
|