direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1990





Linking Schemas and Module Specifications for Distributed Systems

Ehrig, H. and Arbib, M.

Proc. 2nd IEEE Workshop on Future Trends of Distributed Computing Systems. IEEE Computing Society, 165–171. 1990

Download Bibtex Eintrag

Combining data type and recursive process specifications using projection algebras

Ehrig, H., Parisi-Presicce, F., Boehm, P., Rieckhoff, C., Dimitrovici, C. and Große-Rhode, M.

TCS. North Holland, 347-380. 1990

Download Bibtex Eintrag

Algebraic Concepts for Formal Specification and Transformation of Modular Software Systems

Ehrig, H., Boehm, P. and Fey, W.

Proc. 23rd Hawaii Int. Conf. on System Science, Kailua-Kona, Hawaii. IEEE Comp. Sci. Press, 153–164. 1990

Download Bibtex Eintrag


Algebraic Specification of Software Systems

Ehrig, H. and Classen, I.

BEACTS, 145–153. 1990

Download Bibtex Eintrag

1991


Parallelism and Concurrency in High-Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

Math. Struct. in Comp. Science, 361–404. 1991

Download Bibtex Eintrag

From Graph Grammars to high level replacement systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 269–291. 1991

Download Bibtex Eintrag

Algebraic approach to graph transformation based on single pushout derivations

Löwe, M. and Ehrig, H.

Graph-Theoretic Concepts in Computer Science, WG '90. SPRINGER, 338–353. 1991

Download Bibtex Eintrag

On the relationship between algebraic module specifications and program modules

Löwe, M., Ehrig, H., Fey, W. and Jacobs, D.

Proc. TAPSOFT. SPRINGER, 83-98. 1991

Download Bibtex Eintrag

Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts

Ehrig, H., Korff, M. and Löwe, M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 24–37. 1991

Download Bibtex Eintrag

Algebraic Specification Grammars

Parisi-Presicce, F. and Ehrig, H.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER. 1991

Download Bibtex Eintrag


Computing by graph transformation–overall aims and new results

Ehrig, H. and Löwe(eds.), M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 688–697. 1991

Download Bibtex Eintrag



Graph Grammars and Logic Programming

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

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 221–237. 1991

Download Bibtex Eintrag



Algebraic Specification Grammars: Adjunction between Module Specifications and Graph Grammars

Ehrig, H. and Parisi-Presicce, F.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 292–310. 1991

Download Bibtex Eintrag

Theory of Algebraic Module Specifications Including Behavioral Semantics and Constraints

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

Algebraic Methodology and Softwre Technology (AMAST), Iowa City. Springer Workshops in Computing 23, 145-172. 1991

Download Bibtex Eintrag


A match operation for rule-based modular system design

Ehrig, H. and Parisi-Presicce, F.

Proc. ADT-Workshop, Wusterhausen. SPRINGER, 74–97. 1991

Download Bibtex Eintrag

New concepts for amalgamation and extension in the framework of specification logics

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

Proc. ADT-Workshop Durdan. SPRINGER, 199 – 221. 1991

Download Bibtex Eintrag


Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS

Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.

Syst.\ Anal.\ Model.\ Simul., 353–373. 1991

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe