ENGLISH

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

By Cliff B. Jones , Jim Woodcock (eds.) , Zhiming Liu , Nikolaj Bjørner (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
354075220X, 9783540752202
DOI
10.1007/978-3-540-75221-9
Open Library ID
OL16152982M
Language
english
Format
PDF
Filesize
8 MB (8200185 bytes)
Series
Lecture Notes in Computer Science 4700 : Theoretical Computer Science and General Issues
Edition
1
Pages
542\550
Scanned
yes
Time added
2012-03-17 06:00:00
Software Engineering; Logics and Meanings of Progr

Description

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.

Similar books