Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

560 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540752202
• Sprache: Englisch
• Erscheinungsdatum: 06.09.2007
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Jim Woodcock, Zhiming Liu, Cliff B. Jones