Technische Universität München
Fakultät für Informatik
Institut für Informatik - Lehrstuhl IV
Adresse
Boltzmannstraße 3
85748 Garching
Deutschland
GERiT
Diese Institution in GERiT
85748 Garching
Projekte
Sachbeihilfen
abgeschlossene Projekte
Formalisierung von Anforderungen durch Dokumentanalyse
(Antragsteller
Broy, Manfred
)
Fundierung und Semantische Standardisierung der UML V2.0
(Antragsteller
Broy, Manfred
;
Rumpe, Bernhard
)
Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit.
(Antragsteller
Broy, Manfred
;
Feussner, Ph.D., Hubertus
)
Mathematisches Systemmodell
(Antragsteller
Broy, Manfred
)
Methodik des inkrementellen Entwurfs reaktiver Systeme
(Antragsteller
Broy, Manfred
)
Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme
(Antragsteller
Broy, Manfred
)
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
(Antragsteller
Broy, Manfred
)
Schwerpunktprogramme
abgeschlossene Projekte
Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme
(Antragsteller
Broy, Manfred
)
Integrierte mathematische Maschinenmodellierung
(Antragsteller
Bender, Klaus
)
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
(Antragsteller
Broy, Manfred
)
Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS)
(Antragstellerinnen / Antragsteller
Broy, Manfred
;
Vogel-Heuser, Birgit
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 301: Logik in der Informatik
(Sprecher
Schwichtenberg, Helmut
)