Dagstuhl Seminar 9523
Methods for Semantics and Specification
( Jun 05 – Jun 09, 1995 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/9523
Organizers
- E. Börger
- H. Langmaack
- J.-R. Abrial
Contact
External Homepage
Impacts
- Case study : the steam-boiler control system : article S. 155-190 - Michel Bidoit ; Peter D. Mosses - Berlin : Springer, 2003 - (Lecture notes in computer science : tutorial ; 2900 : S. 155-190). ISBN: 3-540-20766-X. DOI: 10.1007/b11968.
- Formal methods for industrial applications : specifying and programming the steam boiler control - Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans - Berlin : Springer, 1996. - VIII, 509 S. + 1 CD-ROM - (Lecture notes in computer science; 1165). ISBN: 3-540-61929-1.
- Modeling complex systems in the situation calculus : a case study using the Dagstuhl steam boiler problem : article in KR 96 : S. 26-39 - Kelley, Todd G. - Orlando : Morgan Kaufmann, 1996 - (Principles of knowledge representation and reasoning 1996 : S. 26-39).
The seminar took the form of a "competition" between different researchers who had been invited as representatives of their particular methods. The competition was on the steam boiler control specification problem of J.-R. Abrial, E. Börger, and H. Langmaack, which has been posed to the participants as a common case study.
- E. Börger
- H. Langmaack
- J.-R. Abrial
