https://www.dagstuhl.de/9439
September 26 – 30 , 1994, Dagstuhl Seminar 9439
Specification and Refinement of Reactive Systems - A Case Study
Organizer
M. Broy, L. Lamport
For support, please contact
Documents
Dagstuhl's Impact: Documents available
Dagstuhl-Seminar-Report 98
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.