Hartmut Ehrig
1944 — 2016 · 40 obras en el catálogo
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
Obras
TAPSOFT '87
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)
Petri net technology for communication-based systems
Fundamentals of algebraic graph transformation
Graph Transformations Lecture Notes in Computer Science
Categorical methods in computer science
Graph grammars and their application to computer science
Unifying Petri nets
Graph grammars and their application to computer science
Theory and application of graph transformations
Graph-grammars and their application to computer science and biology
Integration of software specification techniques for applications in engineering
Formal methods in software and systems modeling
Formal methods in software and systems modeling
Categorical methods in computer science
Formal Methods and Software Development
Fundamentals of Algebraic Specification 1
Fundamentals of Algebraic Specification 2
Graph-grammars and their application to computer science
Graph Transformations
Graph transformations in computer science
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
