Products

FOREST Overview Product Model

Product Model

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

 





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.