Suche

Semantik


Unabdingbare Grundlage für die formale Systembeschreibung und -entwicklung ist eine formal definierte Semantik für die Konstrukte der verwendeten Spezifikations- und Implementierungssprachen. Um einen nahtlosen Übergang zu ermöglichen, werden auch hier algebraische Techniken zur Semantikdefinition eingesetzt, so dass die zugehörigen Gesetze direkt für die Systementwicklung nutzbar werden.

Veröffentlichungen