Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Radu Grosu; Thomas Stauner 
Titel:
Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts -- 
Abstract:
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems usually have to be discussed between engineers from a number of different disciplines. Modularity is vital for hybrid systems not only because it allows to handle large systems, but also because hybrid systems are naturally decomposed into the system itself and its environment. Based on two different interpretations for hierarchic graphs and on a clear hybrid computati...    »
 
Stichworte:
hybrid systems; specification; formal methods; requirements engineering 
Jahr:
1998 
Jahr / Monat:
1998-12-01 00:00:00 
Seiten/Umfang:
40