Ehrig Hartmut's Books

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

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 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

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

Ontology Alignment

Bridging the Semantic Gap

By: Marc Ehrig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Ontology Alignment

Bridging the Semantic Gap

By: Marc Ehrig

This book introduces novel methods and approaches for semantic integration. In addition to developing ground-breaking new methods for ontology alignment, the author provides extensive explanations of up-to-date case studies. It includes a thorough investigation of the foundations and provides pointers to future steps in ontology alignment with conclusion linking this work to the knowledge society.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

252

Publisher

Springer Science & Business Media

Published Date

ISBN 10

038736501X

ISBN 13

9780387365015

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 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

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

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

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

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 Ehrig Hartmut

Username

Password

Password again

Birthday

Email