TY  - BOOK
AU  - Bjørner,D.
AU  - Zhou,Chaochen
AU  - Jones,C.B.
AU  - Liu,Zhiming
AU  - Woodcock,Jim
TI  - Formal methods and hybrid real-time systems: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays 
T2  - Lecture notes in computer science,
SN  - 9783540752219
AV  - QA76.9.F67 F524 2007eb
U1  - 004.01/51 22
PY  - 2007///
CY  - Berlin, New York
PB  - Springer
KW  - Bjørner, D.
KW  - Zhou, Chaochen,
KW  - Bjørner, Dines,
KW  - Chaochen, Zhou.
KW  - Bjørner, D.,
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Real-time data processing
KW  - Electronic Data Processing
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - Temps réel (Informatique)
KW  - Informatique
KW  - cct
KW  - eclas
KW  - fast
KW  - wiskunde
KW  - mathematics
KW  - computerwetenschappen
KW  - computer sciences
KW  - computernetwerken
KW  - computer networks
KW  - logica
KW  - logic
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Festschriften
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing; Includes bibliographical references and index; 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
UR  - https://link.springer.com/10.1007/978-3-540-75221-9
ER  -