Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Manfred Broy

Adresse Technische Universität München
Fakultät für Informatik
Institut für Informatik - Lehrstuhl IV
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)

© 2024 DFG Kontakt / Impressum / Datenschutz