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

Detailseite

Institution

Druckansicht

Technische Universität München
Fakultät für Informatik
Institut für Informatik - Lehrstuhl IV

Adresse Boltzmannstraße 3
85748 Garching
Deutschland

GERiT Diese Institution in GERiT

85748 Garching

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Formalisierung von Anforderungen durch Dokumentanalyse
    (Antragsteller Broy, Manfred )
  - Fundierung und Semantische Standardisierung der UML V2.0
    (Antragsteller Broy, Manfred ; Rumpe, Bernhard )
  - Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit.
    (Antragsteller Broy, Manfred ; Feussner, Ph.D., Hubertus )
  - Mathematisches Systemmodell
    (Antragsteller Broy, Manfred )
  - Methodik des inkrementellen Entwurfs reaktiver Systeme
    (Antragsteller Broy, Manfred )
  - Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme
    (Antragsteller Broy, Manfred )
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
    (Antragsteller Broy, Manfred )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme
    (Antragsteller Broy, Manfred )
  - Integrierte mathematische Maschinenmodellierung
    (Antragsteller Bender, Klaus )
  - Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
    (Antragsteller Broy, Manfred )
  - Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS)
    (Antragstellerinnen / Antragsteller Broy, Manfred ; Vogel-Heuser, Birgit )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik
    (Sprecher Schwichtenberg, Helmut )

© 2024 DFG Kontakt / Impressum / Datenschutz