1 Buch 

Wissenschaftliche LiteraturÜbersetzungInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Zeige alle Fächer
Statecharts in CSP (Forschungsarbeit)Zum Shop

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 benötigt,…

CSPformale SpezifikationInformatikStatechartsStatemateSystemmodellierungÜbersetzungstechnikenVerifikation
 

Häufige Schlagworte im Fachgebiet Literaturwissenschaft & Sprachwissenschaft

Deutsch als FremdspracheGermanistikIdentitätIndogermanistikIntertextualitätKulturwissenschaftLinguistikLiteraturgeschichteMehrsprachigkeitPhilologiePhraseologieRomanistikRusslandSlavistikSlawistikSoziolinguistikTextlinguistikWortbildungÜbersetzungÜbersetzungswissenschaft