direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1994

Typed Graph Grammars and Their Adjunction with Categories of Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

Proc. 5th Int. Workshop on Graph Transformations, Williamsburg, Virginia, USA 1994

Download Bibtex Eintrag


An Event Structure Semantics for Safe Graph Grammars

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

Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994. IFIP TCS, 417–439. 1994

Download Bibtex Eintrag

Abstract Graph Derivations in the Double Pushout Approch

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 86–103. 1994

Download Bibtex Eintrag

Note on Standard Representation of Graphs and Graph Derivations

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 104–118. 1994

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

An event structure semantics for safe graph grammars

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

Programming Concepts, Methods and Calculi. North-Holland. 1994

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.

1994

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

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


Linking Algebraic High-Level Nets and Dynamic Abstract Data Types

Ehrig, H. and Padberg, J.

Algebraic Specification Column. EATCS, 132 – 144. 1994

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


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

1993

Formal Development of Concurrent Systems Using Algebraic High-Level Nets and Transformations

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

Proc. VII Simpósio Brasileiro de Engenharia de Software, 1–16. 1993

Download Bibtex Eintrag


Algebraic High Level Nets: Petri Nets Revisited

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

1993

Download Bibtex Eintrag

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Language

Ehrig, H., Jimenez, R. M. and Orejas, F.

Proc.\ TAPSOFT '93, Paris. SPRINGER, 16–30. 1993

Download Bibtex Eintrag


Algebraic High-Level Net Transformation Systems

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

1993

Download Bibtex Eintrag


GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Korff, M., Padberg, J., Ribeiro, R., Nunes, D., Martins, J. and Martini, A.

Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil. PUC/Rio Press. 1993

Download Bibtex Eintrag

Graphical support and integration of formal and semi-formal methods for software specification and development

Ribeiro, L., Ehrig, H., Korff, M., Padberg, J., Nunes, D., Bardohl, R. and Castro, P.

Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil 1993

Download Bibtex Eintrag





Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe