Buch, Englisch, 480 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 841 g
Reihe: Workshops in Computing
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9¿11 January 1991, Cambridge
Buch, Englisch, 480 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 841 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19657-0
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.