TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

2000

Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars

Tsiolakis, A. and Ehrig, H.

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 77–86. 2000

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


A Proposal for Consistent Integration of Visual Computing with Visual Software Development

Ehrig, H. and Taentzer, G.

Proc. of Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000), Satellite Workshop of 27th Int. Colloqium on Automata, Languages, and Programming (ICALP'2000) 2000

Download Bibtex Eintrag

1999

High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 341–400. 1999

Download Bibtex Eintrag

A View-Based Approach to System Modeling based on Open Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific. 1999

Download Bibtex Eintrag

Classification and Comparison of Modularity Concepts for Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 669 – 690. 1999

Download Bibtex Eintrag

A View-Based Approach to System Modeling Based on Open Graph Transformation Systems

Heckel, R., Engels, G., Ehrig, H. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 2: Applications, Languages and Tools. World Scientific, Singapore etc., 639–668. 1999

Download Bibtex Eintrag

Folding and Unfolding Construction between Algebraic High-Level Nets and Regular Algebraic Higher Order Nets

Hoffmann, K., Ehrig, H. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques(WADT'99). SPRINGER. 1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M. and Orejas, F.

1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M., Orejas, F. and Padberg, J.

1999

Download Bibtex Eintrag

Basic Properties of Double Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M., Orejas, F. and Padberg, J.

1999

Download Bibtex Eintrag

Refinement and Implementation

Ehrig, H. and Kreowski, H.-J.

Algebraic Foundations of Systems Specification. Springer Verlag, 201–242. 1999

Download Bibtex Eintrag

Concurrent Semantics of Algebraic Graph Transformations

Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H. and Löwe, M.

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 107–188. 1999

Download Bibtex Eintrag

Formale Techniken für die Eisenbahnsicherungstechnik: Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen

Schnieder, E., Einer, S., Ehrig, H. and al., e.

Signal und Draht (Rail Signalling and Telecommunication), 38-42. 1999

Download Bibtex Eintrag

Abstract and behaviour module specifications

Cornelius, F., Baldamus, M., Ehrig, H. and Orejas, F.

Mathematical Structures in Computer Science, 21-62. 1999

Download Bibtex Eintrag

Abstract and Behaviour Module Specifications

Cornelius, F., Ehrig, H., Orejas, F. and Baldamus, M.

MSCS, 21–62. 1999

Download Bibtex Eintrag

From Basic Views and Aspects to Integration of Specification Formalisms

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

BEATCS, 98–108. 1999

Download Bibtex Eintrag


Petrinetze: Modellierung, Strukturierung und Kompositionalität

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

1999

Download Bibtex Eintrag

1998

Conceptual Model of the Graphical Editor \textscGenGEd

Bardohl, R. and Ehrig, H.

Proc. \ 6th Int.\ Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag

From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms

Ehrig, H., Gajewsky, M. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques. SPRINGER, 1–17. 1998

Download Bibtex Eintrag


Classification and comparison of modularity concepts for graph transformation systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Proc.\ 6th Int.\ Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag

Applications of Category Theory to the Area of Algebraic Specification in Computer Science

Ehrig, H., Große-Rhode, M. and Wolter, U.

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag

Construction and Characterization of Double-Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M. and Orejas, F.

Proc.\ 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT'98), 308–315. 1998

Download Bibtex Eintrag

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

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

Proc. Sixth International Workshop on Theory and Application of Graph Transformations (TAGT'98). Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag

Interoperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Heckel, R. and Ehrig, H.

Proc. Integrated Design and Process Technology, 17–24. 1998

Download Bibtex Eintrag


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe