Professor Dr. Hartmut Ehrig (†)

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Anwendung von Graphtransformation auf visuelle Modellierungssprachen (Sachbeihilfen)
  - Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie (Schwerpunktprogramme)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie (Forschungsgruppen)
  - Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken (Sachbeihilfen)
  - Verhaltens-Simulation und Äquivalenz von Systemen modelliert durch Graphtransformation (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen (Schwerpunktprogramme)
Als Beteiligte Person
- abgeschlossene Projekte
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie (Forschungsgruppen)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie (Forschungsgruppen)