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
)
