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]

1994

Typed Graph Grammars and Their Adjunction with Categories of Derivations [24]

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

Dynamic abstract data types based on algebraic graph transformations [26]

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

1994

Download Bibtex Eintrag [27]

An Event Structure Semantics for Safe Graph Grammars [28]

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

Abstract Graph Derivations in the Double Pushout Approch [30]

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

Note on Standard Representation of Graphs and Graph Derivations [32]

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

How to Cope with the Spectrum of Spectrum [34]

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

1994

Download Bibtex Eintrag [35]

An event structure semantics for safe graph grammars [36]

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

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

Download Bibtex Eintrag [37]

How to Cope with the Spectrum of Spectrum [38]

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

1994

Download Bibtex Eintrag [39]

Dynamic Abstract Data Types: An Informal Proposal [40]

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

Download Bibtex Eintrag [41]

Algebraic Specification Concepts and Languages for Modular Software Systems [42]

Ehrig, H.

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

Download Bibtex Eintrag [43]

FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS [44]

Ehrig, H.

BEATCS, 188–202. 1994

Download Bibtex Eintrag [45]

Linking Algebraic High-Level Nets and Dynamic Abstract Data Types [46]

Ehrig, H. and Padberg, J.

Algebraic Specification Column. EATCS, 132 – 144. 1994

Download Bibtex Eintrag [47]

Algebraic High-Level Nets: Petri Nets Revisited [48]

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

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

Download Bibtex Eintrag [49]

Behaviour and Realization Construction for Petri NetsBased on Free Monoid and Power Set Graphs [50]

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

1994

Download Bibtex Eintrag [51]

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

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

Workshop on Concurrency, Specification & Programming 1994

Download Bibtex Eintrag [53]

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

Ehrig, H. and Bardohl, R.

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

Download Bibtex Eintrag [55]

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

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

1993

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

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

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

Download Bibtex Eintrag [59]

FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS [60]

Ehrig, H.

1993

Download Bibtex Eintrag [61]

Algebraic High Level Nets: Petri Nets Revisited [62]

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

1993

Download Bibtex Eintrag [63]

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

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

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

Download Bibtex Eintrag [65]

Computing by Graph Transformations II, ESPRIT BRWG COMPUGRAPH [66]

Ehrig, H. and Korff, M.

BEATCS, 105-111. 1993

Download Bibtex Eintrag [67]

Algebraic High-Level Net Transformation Systems [68]

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

1993

Download Bibtex Eintrag [69]

Formal Requirement Analysis Using Algebraic High-Level Nets and Transformations: a KorSo Case Study improving parts of HDMS-A [70]

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

1993

Download Bibtex Eintrag [71]

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

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

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

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

Parallel and Distributed Derivations in the Single Pushout Approach [76]

Ehrig, H. and Löwe, M.

TCS, 123 - 143. 1993

Download Bibtex Eintrag [77]

Parallel and Distributed Derivations in the Single Pushout Approach [78]

Ehrig, H. and Löwe, M.

TCS, 123–143. 1993

Download Bibtex Eintrag [79]

Parallel and Distributed Derivations in the Single Pushout Approach [80]

Ehrig, H. and Löwe, M.

TCS, 123 - 143. 1993

Download Bibtex Eintrag [81]

Categorical Principles, Techniques and Results for High-level Replacement Systems in Computer Science [82]

Ehrig, H. and Löwe, M.

Applied Categorical Structures, 21–50. 1993

Download Bibtex Eintrag [83]

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008