Introduction

This document contains a problem specification for the light control in the fourth floor of building 32 of the University of Kaiserslautern developed according to the FOREST approach. This projection includes the original Building Architecture (here also called Application Knowledge), the original Informal Requirements (here also called Problem Description), the formal and natural language specifications as well as all references within these documents.

A general introduction to problem specifications developed according to the FOREST approach can be found here.

A postscript-file of this problem specification can be found here.