This page in English
SucheSystementwicklung
In diesem Teilbereich werden die Techniken der algebraischen Systembeschreibung und -entwicklung auf die verschiedensten konkreten Aufgabestellungen angewendet, um ihre Brauchbarkeit zu validieren.
- Formale Strukturierungstechniken für komplexe Systeme
Prof. Dr. Bernhard Möller - Entwicklung von Graphenalgorithmen in formalen Kalkülen
(ruhend)
Prof. Dr. Bernhard Möller (Leiter) - Systemunterstützung für die Algebraische Systementwicklung (BaCaTec)
(ruhend)
Prof. Dr. Bernhard Möller - Entwurfsmethodik für reaktive Systeme
(ruhend)
Prof. Dr. Bernhard Möller - Formale Entwicklung von Algorithmen
Prof. Dr. Bernhard Möller - Transformationeller Entwurf paralleler Algorithmen
(ruhend)
Prof. Dr. Bernhard Möller - Spezifikation informatischer Systeme in Logik höherer Stufe
(ruhend)
Prof. Dr. Bernhard Möller (Leiter) - Zeigerstrukturen
Prof. Dr. Bernhard Möller - Deduktiver Hardware-Entwurf
Prof. Dr. Bernhard Möller