Low Price Guarantee
We Take School POs
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 Edition
Contributor(s): Jones, Cliff B. (Editor), Liu, Zhiming (Editor), Woodcock, Jim (Editor)

View larger image

ISBN: 354075220X     ISBN-13: 9783540752202
Publisher: Springer
OUR PRICE: $132.05  

Binding Type: Paperback - See All Available Formats & Editions
Published: November 2007
Additional Information
BISAC Categories:
- Computers | Software Development & Engineering - General
- Computers | Networking - General
- Computers | Logic Design
Dewey: 004.33
LCCN: 2007935177
Physical Information: 1.14" H x 6.14" W x 9.21" (1.71 lbs) 542 pages
Features: Bibliography, Illustrated, Index
Descriptions, Reviews, Etc.
Publisher Description:
This Festschrift volume, published to honour both Dines Bj?rner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007, 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. He was a professor at the Technical University of Denmark (DTU) in Lyngby, near Copenhagen; he was the founding director of the United Nations University International Institute for Software Technology (UNU-IIST) in Macao during the 1990s; and a co-founder of VDM-Europe, which became Formal Methods Europe, an organisation that promotes the use of formal methods.

Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems. Starting at Peking University and as a postgraduate at the Institute for Computing Technology of the Chinese Academy of Sciences, he continued his career with an extended visit to Oxford University Computing Laboratory, where he was the prime instigator of the Duration Calculus, an intervallogic for real-time systems. He also worked as a visiting professor at the Technical University of Denmark, Lyngby, at the invitation of Prof. Dines Bj?rner. He was a principal research fellow at UNU-IIST during the period 1992-97, before becoming its director, an appointment he held from 1997 to 2002.

Customer ReviewsSubmit your own review
To tell a friend about this book, you must Sign In First!