Verwandte Artikel zu 5th Refinement Workshop: Proceedings of the 5th Refinement...
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
