Literatur im Fachgebiet Informatik Sprache

Eine schlagwort­basierte Auswahl unserer Fachbücher

GENGED: Visual Definition of Visual Languages (Dissertation)

GENGED: Visual Definition of Visual Languages

based on Algebraic Graph Transformation

Forschungsergebnisse zur Informatik

Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the right direction. We built the GENGED environment to make software modeling and specification easy and reliable. The visual…

Informatik Programmiersprache Software-Entwicklung
Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation des Entwurfes lassen sich deshalb nur auf der…

Implementierung Informatik Sprache Verifikation