Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl I04: Software & Systems Engineering

Address Boltzmannstraße 3
85748 Garching
Deutschland

GERiT This institution in GERiT

85748 Garching

Projects

Research Grants
- Completed projects
  - Formalisierung von Anforderungen durch Dokumentanalyse
    (Applicant Broy, Manfred )
  - Fundierung und Semantische Standardisierung der UML V2.0
    (Applicants Broy, Manfred ; Rumpe, Bernhard )
  - Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit.
    (Applicants Broy, Manfred ; Feussner, Ph.D., Hubertus )
  - Mathematisches Systemmodell
    (Applicant Broy, Manfred )
  - Methodik des inkrementellen Entwurfs reaktiver Systeme
    (Applicant Broy, Manfred )
  - Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme
    (Applicant Broy, Manfred )
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
    (Applicant Broy, Manfred )
Priority Programmes
- Completed projects
Research Training Groups
- Completed projects
  - GRK 301: Logic in Computer Science
    (Spokesperson Schwichtenberg, Helmut )

© 2024 DFG Disclaimer / Copyright / Privacy Policy