Ehrig, Hartmut
Overview
| Works: | 525 works in 1,422 publications in 3 languages and 15,256 library holdings |
|---|---|
| Genres: | Conference papers and proceedings |
| Roles: | Author, Editor, Contributor, htt, Honoree, dgs, Other, Creator, Dedicatee, Publishing director, edi |
| Classifications: | QA267.3, 511.3 |
Publication Timeline
.
Most widely held works by
Hartmut Ehrig
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday by
H.-J Kreowski(
)
9 editions published in 2005 in English and German and held by 614 WorldCat member libraries worldwide
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling
9 editions published in 2005 in English and German and held by 614 WorldCat member libraries worldwide
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling
Fundamentals of algebraic graph transformation by
Hartmut Ehrig(
)
21 editions published in 2006 in English and held by 611 WorldCat member libraries worldwide
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras. The book addresses both research scientists and graduate students in computer science, mathematics and engineering
21 editions published in 2006 in English and held by 611 WorldCat member libraries worldwide
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras. The book addresses both research scientists and graduate students in computer science, mathematics and engineering
Categorical methods in computer science with aspects from topology by
Hartmut Ehrig(
)
22 editions published in 1989 in 3 languages and held by 532 WorldCat member libraries worldwide
Annotation This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science
22 editions published in 1989 in 3 languages and held by 532 WorldCat member libraries worldwide
Annotation This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science
Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings by
David Hutchison(
)
15 editions published in 2008 in English and held by 524 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium
15 editions published in 2008 in English and held by 524 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November
3, 1978 by
Volker Claus(
)
24 editions published between 1979 and 1980 in 3 languages and held by 519 WorldCat member libraries worldwide
24 editions published between 1979 and 1980 in 3 languages and held by 519 WorldCat member libraries worldwide
Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December
2-6, 1986 : [proceedings] by
Hartmut Ehrig(
Book
)
36 editions published between 1986 and 1991 in 3 languages and held by 514 WorldCat member libraries worldwide
Annotation The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars
36 editions published between 1986 and 1991 in 3 languages and held by 514 WorldCat member libraries worldwide
Annotation The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars
Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German
Research Foundation (DFG) : final report(
)
20 editions published in 2004 in English and German and held by 505 WorldCat member libraries worldwide
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling
20 editions published in 2004 in English and German and held by 505 WorldCat member libraries worldwide
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling
Graph transformations : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27--October 2, 2010
: proceedings by
Hartmut Ehrig(
)
19 editions published between 2008 and 2010 in 3 languages and held by 496 WorldCat member libraries worldwide
Annotation
19 editions published between 2008 and 2010 in 3 languages and held by 496 WorldCat member libraries worldwide
Annotation
Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 :
proceedings by
Hartmut Ehrig(
)
19 editions published in 1991 in English and held by 488 WorldCat member libraries worldwide
"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H.G Tler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others."--PUBLISHER'S WEBSITE
19 editions published in 1991 in English and held by 488 WorldCat member libraries worldwide
"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H.G Tler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others."--PUBLISHER'S WEBSITE
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany,
April 17-20, 1990 : proceedings by
Hartmut Ehrig(
)
29 editions published between 1991 and 1994 in 4 languages and held by 475 WorldCat member libraries worldwide
"The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets."--PUBLISHER'S WEBSITE
29 editions published between 1991 and 1994 in 4 languages and held by 475 WorldCat member libraries worldwide
"The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets."--PUBLISHER'S WEBSITE
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings by
Hans Jürgen Schneider(
Book
)
16 editions published in 1994 in English and Undetermined and held by 463 WorldCat member libraries worldwide
"The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition."--PUBLISHER'S WEBSITE
16 editions published in 1994 in English and Undetermined and held by 463 WorldCat member libraries worldwide
"The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition."--PUBLISHER'S WEBSITE
Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings by
Hartmut Ehrig(
)
14 editions published in 2012 in English and held by 447 WorldCat member libraries worldwide
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta- )model evolution and incremental approaches
14 editions published in 2012 in English and held by 447 WorldCat member libraries worldwide
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta- )model evolution and incremental approaches
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS
Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers by
Hartmut Ehrig(
Book
)
13 editions published in 1994 in English and held by 441 WorldCat member libraries worldwide
"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions."--PUBLISHER'S WEBSITE
13 editions published in 1994 in English and held by 441 WorldCat member libraries worldwide
"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions."--PUBLISHER'S WEBSITE
Unifying Petri nets : advances in Petri nets(
)
19 editions published in 2001 in English and held by 428 WorldCat member libraries worldwide
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches
19 editions published in 2001 in English and held by 428 WorldCat member libraries worldwide
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches
Theory and application of graph transformations : 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20,
1998 : selected papers by International Workshop on Theory and Applications of Graph Transformation(
)
23 editions published between 1998 and 2000 in English and held by 421 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998. The 33 revised full papers presented in the book were carefully reviewed and selected from a total of 55 papers presented at the meeting. The book addresses all current aspects in the area. The papers are organized in sections on graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinement, and software engineering
23 editions published between 1998 and 2000 in English and held by 421 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998. The 33 revised full papers presented in the book were carefully reviewed and selected from a total of 55 papers presented at the meeting. The book addresses all current aspects in the area. The papers are organized in sections on graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinement, and software engineering
Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings by
Hartmut Ehrig(
)
19 editions published in 2004 in English and held by 395 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004. The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation
19 editions published in 2004 in English and held by 395 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004. The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy,
March 23-27, 1987 by
Hartmut Ehrig(
)
17 editions published in 1987 in English and held by 392 WorldCat member libraries worldwide
17 editions published in 1987 in English and held by 392 WorldCat member libraries worldwide
Petri net technology for communication-based systems : advances in Petri nets by
Gerhard Goos(
Book
)
13 editions published in 2003 in English and held by 378 WorldCat member libraries worldwide
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes. The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community
13 editions published in 2003 in English and held by 378 WorldCat member libraries worldwide
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes. The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8,
1982 by
Thomas F Coleman(
Book
)
21 editions published in 1983 in English and German and held by 360 WorldCat member libraries worldwide
21 editions published in 1983 in English and German and held by 360 WorldCat member libraries worldwide
Graph and model transformation general framework and applications by
Hartmut Ehrig(
)
18 editions published between 2015 and 2017 in English and German and held by 352 WorldCat member libraries worldwide
"This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling."--Page 4 of cover
18 editions published between 2015 and 2017 in English and German and held by 352 WorldCat member libraries worldwide
"This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling."--Page 4 of cover
more
fewer
Audience Level
| 0 |
 |
1 | ||
| General | Special | |||
Related Identities
- Rozenberg, Grzegorz Other Author Editor
- Kreowski, H.-J (Hans-Jörg) Editor
- Orejas, F. (Fernando) Other Author Editor
- Mahr, B. (Bernd) Author
- Nagl, Manfred 1944- Contributor Editor
- Claus, Volker 1944- Author Editor
- Ermel, Claudia Contributor Author Editor
- Jantke, K. P. (Klaus P.) Other Editor
- Deutsche Forschungsgemeinschaft
- Reichel, Horst Other Editor
Useful Links
Associated Subjects
Abstract data types (Computer science) Algebra Algebra, Homological Algebra--Data processing Algebraic logic Algorithms Artificial intelligence Biology--Data processing Biomathematics Categories (Mathematics) Communication in management Computational complexity Computer algorithms Computer graphics Computer logic Computer networks Computers Computer science Computer science--Mathematics Computer software Computer software--Development Computer software--Specifications Computer systems--Design Data structures (Computer science) Electronic data processing Engineering Engineering--Software Formal languages Formal methods (Computer science) Germany Graph grammars Graph theory Graph theory--Data processing Information theory K-theory Logic, Symbolic and mathematical Logic design Machine theory Medical records--Data processing Morphisms (Mathematics) Pattern perception Petri nets Production engineering--Technological innovations Reengineering (Management) Software engineering Specifications Topology Traffic engineering--Technological innovations Transformations (Mathematics) Workflow
![Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings]](http://coverart.oclc.org/ImageWebSvc/isbn/+-+9622365908324_140.jpg?client=WorldCatIdentities)
