Detailseite

Professor Dr. Manfred Broy

Adresse Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl I04: Software & Systems Engineering
Boltzmannstraße 3
85748 Garching

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme (Schwerpunktprogramme)
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT (Schwerpunktprogramme)
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT (Sachbeihilfen)
  - Methodik des inkrementellen Entwurfs reaktiver Systeme (Sachbeihilfen)
  - Mathematisches Systemmodell (Sachbeihilfen)
  - Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit. (Sachbeihilfen)
  - Fundierung und Semantische Standardisierung der UML V2.0 (Sachbeihilfen)
  - Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme (Sachbeihilfen)
  - Formalisierung von Anforderungen durch Dokumentanalyse (Sachbeihilfen)
  - Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS) (Schwerpunktprogramme)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik (Graduiertenkollegs)
Als Beteiligte Person
- abgeschlossene Projekte
  - Integrierte mathematische Maschinenmodellierung (Schwerpunktprogramme)

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Broy

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Broy

Zusatzinformationen

Textvergrößerung und Kontrastanpassung