The Light Control Case Study of the Journal of Universal Computer Science intends to make existing requirement engineering approaches better comparable, and to highlight their strengths and shortcomings.
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 or html):
Original problem description (in FOREST format) as well as the final
FOREST problem specification (formal and natural language specification) with references
To support traceability, the original problem description is extended by references to the documentation of the FOREST approach and vice versa.