direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)



A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. of the Sixth World Conference on Integrated Design\& Process Technology (IDPT'02) 2002

Download Bibtex Eintrag


A Component Framework based on High-Level Replacement Systems

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'02), Satellite Event of ICGT'02, 124-138. 2002

Link zur Publikation Download Bibtex Eintrag

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques

Ehrig, H., Orejas, F. and Padberg, J.

Proc. FORMS'99, Braunschweig, Germany. Forschrittberichte VDI, Reihe 12, Nr. 436, VDI-Verlag, 31–54. 2000

Download Bibtex Eintrag

Algebraic Specification Concepts and Languages for Modular Software Systems

Ehrig, H.

Proc. Shanghai Workshop on Software Technology. Jiao Tong University. 1994

Download Bibtex Eintrag



Categorical Foundations of Distributed Graph Transformation

Ehrig, H., Orejas, F. and Prange, U.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 215 – 229. 2006

Link zur Publikation Download Bibtex Eintrag

A Uniform Approach to Petri Nets

Ehrig, H. and Padberg, J.

Foundations of Computer Science: Potential - Theory - Cognition. SPRINGER, 219–231. 1997

Download Bibtex Eintrag

Introduction to Universal Parametrized Net Classes

Ehrig, H. and Padberg, J.

MoveOn-Proc. der DFG-Forschergruppe``Petrinetz-Technologie''. Forschungsberichte des Fachbereichs Informatik, 39–51. 1997

Download Bibtex Eintrag

A Categorical Concept of Constraints for Algebraic Specifications

Ehrig, H.

Categorical Methods in Computer Science - with Aspects from Topology. SPRINGER, 1–15. 1989

Download Bibtex Eintrag

Graph Grammars and Petri Net Transformations

Ehrig, H. and Padberg, J.

Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT. SPRINGER, 496–536. 2004

Download Bibtex Eintrag


On Recent Trends in Algebraic Specification

Ehrig, H.

Invited Paper ICALP'89. SPRINGER, 263–288. 1989

Download Bibtex Eintrag

Algebraic Specification of Modeules and Modular Software Systems within the Framework of Specification Logics

Ehrig, H.

Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine, 79–92. 1989

Download Bibtex Eintrag


Introduction

Ehrig, H.

Proc. ETAPSOFT, Vol. 1. SPRINGER, 1–3. 1985

Download Bibtex Eintrag

Petrinetze: Modellierung, Strukturierung und Kompositionalität

Ehrig, H., Padberg, J., Ermel, C. and Grigoriu, L.

1999

Download Bibtex Eintrag

Combining initial and loose algebraic specification methods including compositionality and modules

Ehrig, H.

Proc. Workshop on Formal Software Development, Nyborg. University of Copenhagen. 1984

Download Bibtex Eintrag

From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Padberg, J. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 202 – 214. 2001

Link zur Publikation Download Bibtex Eintrag


Algebraic High-Level Nets: Petri Nets Revisited

Ehrig, H., Padberg, J. and Ribeiro, L.

Recent Trends in Data Type Specification. SPRINGER, 188–206. 1994

Download Bibtex Eintrag


Algebraic High Level Nets: Petri Nets Revisited

Ehrig, H., Padberg, J. and Ribeiro, L.

1993

Download Bibtex Eintrag

Development, specification and semantics of strictly modular system

Ehrig, H.

Lect. Not. Seminar on State of the Art and Perspectives of Software Technology in Europe, U.S.A, and Japan, ICC Berlin. ICC Berlin. 1983

Download Bibtex Eintrag

Algebraic high-level nets: Petri nets revisited

Ehrig, H., Padberg, J. and Ribeiro, L.

Proc. of the ADT-COMPASS Workshop'92 (Caldes de Malavella, Spain) 1993

Download Bibtex Eintrag


Workshop on Petri Nets and Graph Transformations

Ehrig, H., Padberg, J. and Rozenberg, G.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe