عنوان

Proceedings of the 5th Refinement Workshop :

0387197524

3540197524

9780387197524

9783540197522

b565370

Proceedings of the 5th Refinement Workshop :

[Book]

London, 8-10 January 1992

organised by BCS-FACS. Cliff B. Jones ... (eds.).

London ; Berlin <<>>

Springer

1992

VIII, 378 Seiten : Diagramme.

Workshops in computing

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.

Softwareentwicklung.

Verfeinerung.

organised by BCS-FACS. Cliff B. Jones ... (eds.).

British Computer Society. Specialist Group in Formal Aspects of Computing Science.

Cliff B Jones

[Book]

Y