TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9439

Specification and Refinement of Reactive Systems – A Case Study

( 26. Sep – 30. Sep, 1994 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9439

Organisatoren
  • 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

Teilnehmer
  • L. Lamport
  • M. Broy