Dagstuhl-Seminar 9523
Methods for Semantics and Specification
( 05. Jun – 09. Jun, 1995 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/9523
Organisatoren
- E. Börger
- H. Langmaack
- J.-R. Abrial
Kontakt
Externe Veranstaltungsseite
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
