direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

2000

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

Tsiolakis, A. and Ehrig, H.

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

Download Bibtex Eintrag [25]

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000 [26]

Ehrig, H.

BEACTS, 90–91. 2000

Download Bibtex Eintrag [27]

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques [28]

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 [29]

On the Role of Mathematics and Formal Specification in Software System Development [30]

Ehrig, H. and Schröter, G.

BEACTS, 69–76. 2000

Download Bibtex Eintrag [31]

A Proposal for Consistent Integration of Visual Computing with Visual Software Development [32]

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 [33]

1999

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

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 [35]

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

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 [37]

Classification and Comparison of Modularity Concepts for Graph Transformation Systems [38]

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 [39]

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

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 [41]

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

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

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

Download Bibtex Eintrag [43]

Basic Properties of Double-Pullback Graph Transitions [44]

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

1999

Download Bibtex Eintrag [45]

Basic Properties of Double-Pullback Graph Transitions [46]

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

1999

Download Bibtex Eintrag [47]

Basic Properties of Double Pullback Graph Transitions [48]

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

1999

Download Bibtex Eintrag [49]

Refinement and Implementation [50]

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

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

Download Bibtex Eintrag [51]

Concurrent Semantics of Algebraic Graph Transformations [52]

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 [53]

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

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

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

Download Bibtex Eintrag [55]

Abstract and behaviour module specifications [56]

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

Mathematical Structures in Computer Science, 21-62. 1999

Download Bibtex Eintrag [57]

Abstract and Behaviour Module Specifications [58]

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

MSCS, 21–62. 1999

Download Bibtex Eintrag [59]

From Basic Views and Aspects to Integration of Specification Formalisms [60]

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

BEATCS, 98–108. 1999

Download Bibtex Eintrag [61]

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques [62]

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

1999

Download Bibtex Eintrag [63]

Petrinetze: Modellierung, Strukturierung und Kompositionalität [64]

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

1999

Download Bibtex Eintrag [65]

1998

Conceptual Model of the Graphical Editor textscGenGEd [66]

Bardohl, R. and Ehrig, H.

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

Download Bibtex Eintrag [67]

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

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

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

Download Bibtex Eintrag [69]

DFG–Schwerpunktprogramm ab 1998: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen [70]

Ehrig, H., Geisler, R. and Klar, M.

Informatik - Forschung und Entwicklung, 43-46. 1998

Download Bibtex Eintrag [71]

Classification and comparison of modularity concepts for graph transformation systems [72]

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 [73]

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

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

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag [75]

Construction and Characterization of Double-Pullback Graph Transitions [76]

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 [77]

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information [78]

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 [79]

Interoperability in Train Control Systems Specification of Scenarios Using Open Nets [80]

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

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

Download Bibtex Eintrag [81]

Concept, Theoretical Foundation, and Validation of an Application Oriented Petri Net Technology [82]

Weber, H., Reisig, W. and Ehrig, H.

1998

Download Bibtex Eintrag [83]

<< zurück [84]
vor >> [103]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008