The FOREST product model provides a general reference model for problem specifications, which comprise all information about which system to be built. The product model also defines the FOREST document types as instantiations of the reference model for reactive systems that is based on a real-time temporal logic and the structuring concepts modularization, aggregation, inheritance, and parameterization.

	Reference Model
	Document Types

 

---

	Übergeordnete Seite: Overview

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.