Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / [electronic resource] :
edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
- 1st ed. 2007.
- XVI, 542 p. online resource.
- Theoretical Computer Science and General Issues, 4700 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4700 .
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.
9783540752219
10.1007/978-3-540-75221-9 doi
Software engineering.
Computer science.
Computer engineering.
Computer networks .
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
QA76.758
005.1
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.
9783540752219
10.1007/978-3-540-75221-9 doi
Software engineering.
Computer science.
Computer engineering.
Computer networks .
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
QA76.758
005.1