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

Detailseite

Institution

Druckansicht

Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Theoretische Informatik/ Formale Spezifikation

Adresse Marchstraße 23
10587 Berlin
Deutschland

GERiT Diese Institution in GERiT

10587 Berlin

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Anwendung von Graphtransformation auf visuelle Modellierungssprachen
    (Antragsteller Ehrig, Hartmut )
  - Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
    (Antragstellerinnen / Antragsteller Ehrig, Hartmut ; Padberg, Julia )
  - Verhaltens-Simulation und Äquivalenz von Systemen modelliert durch Graphtransformation
    (Antragstellerinnen / Antragsteller Ehrig, Hartmut ; König, Barbara )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
    (Antragsteller Ehrig, Hartmut )
  - SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
    (Sprecher Ehrig, Hartmut )
Forschungsgruppen
- abgeschlossene Projekte
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
    (Antragsteller Ehrig, Hartmut )
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie
    (Antragsteller Reisig, Wolfgang )
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie
    (Antragsteller Weber, Herbert )

© 2024 DFG Kontakt / Impressum / Datenschutz