Hartmut Ehrig
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars. Source: https://en.wikipedia.org/wiki/Hartmut_Ehrig
Works (25)
Categorical methods in computer science
Graph-grammars and their application to computer science
Formal methods in software and systems modeling
Formal methods in software and systems modeling
Graph grammars and their application to computer science
Kategorien und Automaten
Graph grammars and their application to computer science
Integration of software specification techniques for applications in engineering
Fundamentals of Algebraic Specification 1
Fundamentals of algebraic graph transformation
Graph and Model Transformation
Mathematical Foundations of Software Development
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Formal Methods and Software Development
Petri net technology for communication-based systems
Graph-grammars and their application to computer science
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Theory and application of graph transformations
Fundamentals of Algebraic Specification 2
Graph Transformations
Lecture Notes in Computer Science
Fundamentals of algebraic specification
Graph transformations in computer science
Fundamentals of algebraic specification 2
Unifying Petri nets
Graph Transformations