The Light Control Case Study

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:

• development of a precise description of the system requirements
• customer feedback on a natural language basis
• pattern-based formalisation of requirements
• provision of a starting point for the system development team
• traceability w.r.t. the original problem description
• tool support

The following documentation is provided (postscript or html):

• Documentation of the FOREST approach (ps, html)
  A summary of the main description elements. Recommended reading before studying any of the documents below.

• Original problem description (in FOREST format) as well as the final FOREST problem specification (formal and natural language specification) with references (ps, html)
  To support traceability, the original problem description is extended by references to the documentation of the FOREST approach and vice versa.