direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Specification of Modules

Ehrig, H. and Weber, H.

Proc.\ IFIP Work Conf.\ 85: The Role of Abstract Models in Programming, Wien. North Holland, 231–258. 1985

Download Bibtex Eintrag

A

Grammars on Partial Graphs

Schneider, H. and Ehrig, H.

Acta Informatica, 297–316. 1976

Download Bibtex Eintrag

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Applied Categorical Structures 1997

Download Bibtex Eintrag

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

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

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories

Prange, U., Ehrig, H. and Lambers, L.

Applied Categorical Structures. SPRINGER, 365–388. 2008

Link zur Publikation Download Bibtex Eintrag



a

Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung

Klein, M., Braatz, B., Ehrig, H., Schröter, G. and Bengel, M.

atp, 46–56. 2004

Download Bibtex Eintrag


B

On Formal Semantics and Integration of Object Oriented Modeling Languages

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

BEACTS, 77–81. 2000

Download Bibtex Eintrag

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

BEACTS, 106–104. 1997

Download Bibtex Eintrag




Algebraic Specification of Software Systems

Ehrig, H. and Classen, I.

BEACTS, 145–153. 1990

Download Bibtex Eintrag

Overview of Algebraic Specification Languages

Ehrig, H. and Classen, I.

BEACTS, 103–111. 1989

Download Bibtex Eintrag




Restriction Constructions in Specification Logics

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag











Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe