Logo - springer
Slogan - springer

Computer Science - Software Engineering | Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen

Formal Methods and Hybrid Real-Time Systems

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

Jones, Cliff, Liu, Zhiming, Woodcock, Jim (Eds.)

2007, XVI, 542 p.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-540-75221-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-540-75220-2

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • Published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.

The papers cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Dines Bjørner is known for his many contributions to the theory and practice of formal methods for software engineering with special focus on abstraction and modelling, specification of systems and languages, and domains, requirements, and software design.

Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems.

Content Level » Research

Keywords » Algorithms - algorithm - design - formal method - logic - modeling - organization - real-time - software engineering - verification

Related subjects » Communication Networks - Software Engineering - Theoretical Computer Science

Table of contents 

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.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering / Programming and Operating Systems.