Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Manfred Broy

Address Technische Universität München
Fakultät für Informatik
Institut für Informatik - Lehrstuhl IV
Boltzmannstraße 3
85748 Garching

Projects

As Applicant
- Completed projects
  - Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme (Priority Programmes)
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT (Priority Programmes)
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT (Research Grants)
  - Methodik des inkrementellen Entwurfs reaktiver Systeme (Research Grants)
  - Mathematisches Systemmodell (Research Grants)
  - Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit. (Research Grants)
  - Fundierung und Semantische Standardisierung der UML V2.0 (Research Grants)
  - Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme (Research Grants)
  - Formalisierung von Anforderungen durch Dokumentanalyse (Research Grants)
  - Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS) (Priority Programmes)
As Participating Researcher
- Completed projects
  - GRK 301: Logic in Computer Science (Research Training Groups)
As Participating Person
- Completed projects
  - Integrierte mathematische Maschinenmodellierung (Priority Programmes)

© 2024 DFG Disclaimer / Copyright / Privacy Policy