Hartmut Ehrig

Hartmut Ehrig (* 6. Dezember 1944 in Angermünde; † 17. März 2016) war ein deutscher Informatiker und Professor für theoretische Informatik und formale Spezifikation. Veröffentlicht in Wikipedia
Treffer 1 - 20 von 149 für Suche 'Ehrig, Hartmut', Suchdauer: 2,29s Treffer weiter einschränken
  1. 1
    Transformation of type graphs with inheritance for ensuring security in e-government networks (long version)

    Transformation of type graphs with inheritance for ensuring security in e-government networks (long version) von Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia

    Veröffentlicht 2011
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Concurrent model synchronization with conflict resolution based on triple graph grammars

    Concurrent model synchronization with conflict resolution based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia, Orejas, Fernando

    Veröffentlicht 2011
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal analysis of functional behaviour for model transformations based on triple graph grammars

    Formal analysis of functional behaviour for model transformations based on triple graph grammars von Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Golas, Ulrike 1980-

    Veröffentlicht 2010
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Finitary M-adhesive categories

    Finitary M-adhesive categories von Gabriel, Karsten, Braatz, Benjamin, Ehrig, Hartmut 1944-2016, Golas, Ulrike 1980-

    Veröffentlicht 2010
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Propagation of constraints along model transformatons based on triple graph grammars

    Propagation of constraints along model transformatons based on triple graph grammars von Schölzel, Hanna, Ehrig, Hartmut 1944-2016, Hermann, Frank, Brandt, Christoph

    Veröffentlicht 2010
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Evolution of model transformations by model refactoring: long version

    Evolution of model transformations by model refactoring: long version von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia

    Veröffentlicht 2009
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Completeness and correctness of model transformations based on triple graph grammars with negative application conditions

    Completeness and correctness of model transformations based on triple graph grammars with negative application conditions von Ehrig, Hartmut 1944-2016, Hermann, Frank, Sartorius, Christoph

    Veröffentlicht 2009
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures

    Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Ermel, Claudia, Prange, Ulrike

    Veröffentlicht 2009
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences von Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Veröffentlicht 2008
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    From model transformation to model integration based on the algebraic approach to triple graph grammars

    From model transformation to model integration based on the algebraic approach to triple graph grammars von Ehrig, Hartmut 1944-2016, Ehrig, Karsten, Hermann, Frank

    Veröffentlicht 2008
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On the relationship of model transformations based on triple and plain graph grammars (Long version)

    On the relationship of model transformations based on triple and plain graph grammars (Long version) von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Hermann, Frank

    Veröffentlicht 2008
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Efficient conflict detection in graph transformation systems by essential critical pairs

    Efficient conflict detection in graph transformation systems by essential critical pairs von Lambers, Leen, Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Veröffentlicht 2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Graph grammars an introduction to the double pushout approach

    Graph grammars an introduction to the double pushout approach von Martini, Alfio, Ehrig, Hartmut 1944-2016, Nunes, Daltro

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development

    A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development von Ehrig, Hartmut 1944-2016, Mahr, Bernd

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Algebraic high level nets Petri nets revisited

    Algebraic high level nets Petri nets revisited von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    FLEX a flexible extension and integration concept for software development in KORSO and COMPASS

    FLEX a flexible extension and integration concept for software development in KORSO and COMPASS von Ehrig, Hartmut 1944-2016

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Algebraic specification techniques and tools for software development the ACT approach

    Algebraic specification techniques and tools for software development the ACT approach von Claßen, Ingo, Ehrig, Hartmut 1944-2016, Wolz, Dietmar

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Specification techniques for concurrent and distributed systems

    Specification techniques for concurrent and distributed systems von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Heise, Andreas

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems

    Nonequivalence of categories for equational algebraic specifications in view of high level replacement systems von Ehrig, Hartmut 1944-2016, Parisi-Presicce, Francesco

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: