Hartmut Ehrig's Books

Handbook of Graph Grammars and Computing by Graph Transformation

By: Hartmut Ehrig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Handbook of Graph Grammars and Computing by Graph Transformation

By: Hartmut Ehrig

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graphtransformation systems, and tools whose implementation is based on the use of graph transformation systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

722

Publisher

World Scientific

Published Date

ISBN 10

9810240201

ISBN 13

9789810240202

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

460

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540517995

ISBN 13

9783540517993

Thermomechanics Of Phase Transitions In Classical Field Theory

By: Ingo Claben,Hartmut Ehrig,A Romano,Dietmar Wolz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Thermomechanics Of Phase Transitions In Classical Field Theory

By: Ingo Claben,Hartmut Ehrig,A Romano,Dietmar Wolz

The complex processes of state changes can be interpreted by resorting to Statistical Quantum Mechanics. However, it is well known that a phenomenological description of state changes can be obtained by using the classical continuum theory. This book supplies a panoramic picture of known and new mathematical models which are suitable to describe phase changes from a macroscopic view point. All these models are derived from the theory of continuous systems with a nonmaterial interface and allow to describe processes of solidification, melting, and vaporization. The nonlocal continuum theory of systems with a non material interface provides a more complex mathematical model in dealing with crystal growth either in a pure melt or in a mixture. A chapter is devoted to the analysis of phase changes in ferroelectric and ferromagnetic crystals.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

271

Publisher

World Scientific

Published Date

ISBN 10

9814504181

ISBN 13

9789814504188

Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

By: Hartmut Ehrig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

By: Hartmut Ehrig

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

638

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540231358

ISBN 13

9783540231356

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

By: Hans-Jörg Kreowski,Ugo Montanari,Fernando Orejas,Grzegorz Rozenberg,Gabriele Taentzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

By: Hans-Jörg Kreowski,Ugo Montanari,Fernando Orejas,Grzegorz Rozenberg,Gabriele Taentzer

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

434

Publisher

Springer

Published Date

ISBN 10

354031847X

ISBN 13

9783540318477

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

383

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540311882

ISBN 13

9783540311881

Fractals for the Classroom

Part Two: Complex Systems and Mandelbrot Set

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fractals for the Classroom

Part Two: Complex Systems and Mandelbrot Set

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Fractals for the Classroom breaks new ground as it brings an exciting branch of mathematics into the classroom. The book is a collection of independent chapters on the major concepts related to the science and mathematics of fractals. Written at the mathematical level of an advanced secondary student, Fractals for the Classroom includes many fascinating insights for the classroom teacher and integrates illustrations from a wide variety of applications with an enjoyable text to help bring the concepts alive and make them understandable to the average reader. This book will have a tremendous impact upon teachers, students, and the mathematics education of the general public. With the forthcoming companion materials, including four books on strategic classroom activities and lessons with interactive computer software, this package will be unparalleled.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

513

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1461244064

ISBN 13

9781461244066

Protocol Engineering

By: Hartmut König

Write a review Read reviews Take a Quiz Solve Book Puzzle

Protocol Engineering

By: Hartmut König

Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that describe how communication systems interact with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols. Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication protocols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one representative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches. The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

535

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642291449

ISBN 13

9783642291449

Chaos and Fractals

New Frontiers of Science

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Chaos and Fractals

New Frontiers of Science

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

The fourteen chapters of this book cover the central ideas and concepts of chaos and fractals as well as many related topics including: the Mandelbrot set, Julia sets, cellular automata, L-systems, percolation and strange attractors. This new edition has been thoroughly revised throughout. The appendices of the original edition were taken out since more recent publications cover this material in more depth. Instead of the focussed computer programs in BASIC, the authors provide 10 interactive JAVA-applets for this second edition.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

894

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387218238

ISBN 13

9780387218236

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

344

Publisher

Springer

Published Date

ISBN 10

3540137181

ISBN 13

9783540137184

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

Springer

Published Date

ISBN 10

366247980X

ISBN 13

9783662479803

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

383

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540311882

ISBN 13

9783540311881

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

460

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540517995

ISBN 13

9783540517993

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

333

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642699626

ISBN 13

9783642699627

Graph Grammars and Their Application to Computer Science

4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

By: Hartmut Ehrig,Hans-Jörg Kreowski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph Grammars and Their Application to Computer Science

4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

By: Hartmut Ehrig,Hans-Jörg Kreowski

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|ttler, 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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

724

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354054478X

ISBN 13

9783540544784

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

429

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642612849

ISBN 13

9783642612848

Algebraic Specification Techniques And Tools For Software Development: The Act Approach

By: Ingo Claben,Hartmut Ehrig,Dietmar Wolz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algebraic Specification Techniques And Tools For Software Development: The Act Approach

By: Ingo Claben,Hartmut Ehrig,Dietmar Wolz

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

255

Publisher

World Scientific Publishing Company

Published Date

ISBN 10

9813104554

ISBN 13

9789813104556

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

344

Publisher

Springer

Published Date

ISBN 10

3540137181

ISBN 13

9783540137184

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,Fernando Orejas

Write a review Read reviews Take a Quiz Solve Book Puzzle

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,Fernando Orejas

Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character. The book covers aspects of fuzzy logic, case based reasoning, learning as well as meaning, language, and consciousness. The authors of this topical volume have their background in logic, computer science, physics and mathematics, philosophy, psychology and neurobiology.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

350

Publisher

Springer Verlag

Published Date

ISBN 10

3540578676

ISBN 13

9783540578673

Book's by Hartmut Ehrig

Username

Password

Password again

Birthday

Email