Literatur im Fachgebiet Informatik CSP

Eine schlagwort­basierte Auswahl unserer Fachbücher

Statecharts in CSP (Forschungsarbeit)

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Forschungsergebnisse zur Informatik

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker Analyseverfahren…

 

Literatur: CSP / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač