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 9439

Specification and Refinement of Reactive Systems – A Case Study

( Sep 26 – Sep 30, 1994 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9439

Organizers
  • L. Lamport
  • M. Broy




Motivation

The aim of the workshop is to compare and relate the different specification formalisms and development methods. To pursue this aim Leslie Lamport defined a practical example to serve as a common task.

Each participant of the workshop is kindly requested to treat the given problem with the method supported by him and to present the result in a talk at the workshop. Special emphasis should be put on the presentation of the characteristics of this method and the encountered advantages and drawbacks. By means of this single task a basis can be given to extract the common and different features of those methods and to relate the different approaches in the following discussions.

Copyright

Participants
  • L. Lamport
  • M. Broy