FOREST Examples Light Control

Light Control

(R. Gotzhein, M. Kronenburg, C. Peper)


The Case Study "Light Control System" of the Dagstuhl Seminar "Requirements Capture / Documentation / Validation", to be held in June 1999, calls for the application of rigorous methods to the specification, inspection, and testing of requirements.

To capture the requirements of the case study, we have applied the FOREST-approach. This approach serves the following objectives:

The following documentation is provided (postscript, pdf, or html):