Cliff B. Jones (Volume ed.) / Zhiming Liu / Jim Woodcock

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Herausgegeben:Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim

• Broschiertes Buch

Produktbeschreibung

Models and Software Model Checking of a Distributed File Replication System.- From "Formal Methods" to System Modeling.- A Denotational Semantics for Handel-C.- Generating Polynomial Invariants with DISCOVERER and QEPCAD.- Harnessing rCOS for Tool Support -The CoCoME Experience.- Automating Verification of Cooperation, Control, and Design in Traffic Applications.- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.- Relating Domain Concepts Intensionally by Ordering Connections.- Programmable Messaging for Electronic Government - Building a Foundation.- Balancing Insight and Effort: The Industrial Uptake of Formal Methods.- Proving Theorems About JML Classes.- Specification for Testing.- Semantics and Verification of a Language for Modelling Hardware Architectures.- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.- Compensable Programs.- Deriving Specifications for Systems That Are Connected to the Physical World.- Engineering the Development of Embedded Systems.- Design Verification Patterns.- On Revival of Algol-Concepts in Modern Programming and Specification Languages.- Design in CommUnity with Extension Morphisms.- Symbolic Test Generation Using a Temporal Logic with Constrained Events.- Expansive-Bisimulation for Context-Free Processes.- VDM Semantics of Programming Languages: Combinators and Monads.- Formal Approach to Railway Applications.- Services as a Paradigm of Computation.

Produktdetails

• Theoretical Computer Science and General Issues 4700
• Verlag: Springer, Berlin
• Artikelnr. des Verlages: 12164615
• Seitenzahl: 560
• Erscheinungstermin: 6. September 2007
• Englisch
• Abmessung: 235mm x 155mm x 30mm
• Gewicht: 842g
• ISBN-13: 9783540752202
• ISBN-10: 354075220X
• Artikelnr.: 23080314

Inhaltsangabe

Models and Software Model Checking of a Distributed File Replication System.- From "Formal Methods" to System Modeling.- A Denotational Semantics for Handel-C.- Generating Polynomial Invariants with DISCOVERER and QEPCAD.- Harnessing rCOS for Tool Support -The CoCoME Experience.- Automating Verification of Cooperation, Control, and Design in Traffic Applications.- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.- Relating Domain Concepts Intensionally by Ordering Connections.- Programmable Messaging for Electronic Government - Building a Foundation.- Balancing Insight and Effort: The Industrial Uptake of Formal Methods.- Proving Theorems About JML Classes.- Specification for Testing.- Semantics and Verification of a Language for Modelling Hardware Architectures.- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.- Compensable Programs.- Deriving Specifications for Systems That Are Connected to the Physical World.- Engineering the Development of Embedded Systems.- Design Verification Patterns.- On Revival of Algol-Concepts in Modern Programming and Specification Languages.- Design in CommUnity with Extension Morphisms.- Symbolic Test Generation Using a Temporal Logic with Constrained Events.- Expansive-Bisimulation for Context-Free Processes.- VDM Semantics of Programming Languages: Combinators and Monads.- Formal Approach to Railway Applications.- Services as a Paradigm of Computation.