Buch, Englisch, 381 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g
Reihe: Workshops in Computing
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8¿10 January 1992
Buch, Englisch, 381 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19752-2
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.