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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540752219 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-75221-9  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Computer engineering.<br/>Computer networks .<br/>Machine theory.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Computer Engineering and Networks.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1