Articles liés à 4th Refinement Workshop: Proceedings of the 4th Refinement...
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.