TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


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






Summary

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.


Participants
  • E. Börger
  • H. Langmaack
  • J.-R. Abrial