direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1994


Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

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

Workshop on Concurrency, Specification & Programming 1994

Download Bibtex Eintrag

Specification Techniques using Dynamic Abstract Data Types and Application to Shipping Software

Ehrig, H. and Bardohl, R.

Proc. of the International Workshop on Advanced Software Technology, Shanghai, 70–85. 1994

Download Bibtex Eintrag

Abschlußbericht Projekt KORSO: Teilvorhaben: Formale Entwicklungsmethoden und Realisierungstechniken für korrekte Software

Ehrig, H., Pepper, P., Wolter, U., Jatzeck, M., Cornelius, F., Faulhaber, J., Grieskamp, W., Löwe, M., Claßen, I., Gerke, C. and Didrich, K.

1994

Download Bibtex Eintrag

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag

1995

Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective

Engels, G. and Ehrig, H.

Proc. Colloquium on Graph Transformation and its Application in Computer Science, 25–28. 1995

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears, 17–23. 1995

Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

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

Mathematical Structures in Computer Science, 217–256. 1995

Download Bibtex Eintrag



Dynamic Abstract Data Types Based on Algebraic Graph Transformations

Ehrig, H., Löwe, M. and Orejas, F.

Proc. of ADT-COMPASS Workshop. SPRINGER, 236-254. 1995

Download Bibtex Eintrag



How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

KORSO: Methods, Languages, and Tools for the Construction of Correct Software. SPRINGER, 173-189. 1995

Download Bibtex Eintrag




Introduction to COMPUGRAPH

Ehrig, H.

Proc. of SEGRAGRA'95 ``Graph Rewriting and Computation'' 1995

Link zur Publikation Download Bibtex Eintrag




1996


A View-Based Approach to System Modelling

Engels, E., Ehrig, H., Heckel, R., Taentzer, G. and Corradini, A.

Report on the Dagstuhl-Seminar 9637 \emphGraph Transformations in Computer Science 1996

Download Bibtex Eintrag

Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets

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

Proc. Integrated Design and Process Technology, 186–193. 1996

Download Bibtex Eintrag

Horizontal and Vertical Structuring of Typed Graph Transformation Systems

Heckel, R., Corradini, A., Ehrig, H. and Löwe, M.

Math. Struc. in Comp. Science, 613-648. 1996

Download Bibtex Eintrag



Horizontal and Vertical Structuring Techniques for Statecharts

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

1996

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe