4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge

ISBN-13: 9783540196570 / Angielski / Miękka / 1991 / 480 str.

Joseph M. Morris; Roger C. Shaw

Opis

Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations.

Spis treści

The Process of Refinement: Introductory Talk to the 4th Refinement Workshop.- Engineering Real Software Using Formal Methods.- Specialising Abstract Programs.- A Refinement Case Study (Using the Abstract Machine Notation).- Assertional Data Reification Proofs: Survey and Perspective.- Formal Methods and the Sociology of Proof.- Refinement Diagrams.- A Case Study in Timed Refinement: A Central Heater.- Object Oriented Specification and Refinement.- The Ecology of Class Refinement.- Transforming Axioms for Data Types into Sequential Programs.- Refinement of Two Graph Problems.- CSP and Timewise Refinement.- The Elusive Software Refinery: A Case Study in Program Development.- A Theory of State-based Parallel Programming: Part 1.- Design, Verification and Documentation of Concurrent Systems.- A Formal Method for Hard Real-Time Programming.- Constructing and Refining Modules in a Type Theory.- The Varieties of Refinement.- Timed Process Algebra, Petri Nets and Event Refinement.- Author Index.