This page in English
SucheSemantik
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.
- Hybride Systeme
Dr. Peter Höfner - Refinement Algebra
Prof. Dr. Bernhard Möller - Zeigerstrukturen
Prof. Dr. Bernhard Möller - InopSys - Interoperabilität von Kalkülen für die Systemmodellierung
Prof. Dr. Bernhard Möller - Ströme und Parallelität
Prof. Dr. Bernhard Möller - Algebraische Kalküle für Separationslogik
Prof. Dr. Bernhard Möller