Project Details

Professor Dr. Manfred Broy

Address Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl I04: Software & Systems Engineering
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)

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Broy

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Manfred Broy

Additional Information

Textvergrößerung und Kontrastanpassung