direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E


Embedding Theorems in the Algebraic Theory of Graph Grammars

Ehrig, H.

Fundamentals of Computation Theory cdot Proceedings of the 1977 International FCT-Conference. SPRINGER, 245–255. 1977

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

F-Morphisms

Ehrig, H.

Math. Nachr., 75–93. 1974

Download Bibtex Eintrag

High-Level Replacement Systems for Equational Algebraic Specifications

Ehrig, H. and Parisi-Presicce, F.

Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992 1993

Download Bibtex Eintrag




Non-equivalence of categories for equational algebraic specifications in view of High-Level-Replacement systems

Ehrig, H. and Parisi-Presicce, F.

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 222–235. 1992

Download Bibtex Eintrag

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


Distributed parallelism of graph transformation

Ehrig, H., Böhm, P., Hummert, U. and Löwe, M.

13th Int.\ Workshop on Graph Theoretic Concepts in Computer Science. SPRINGER, 1–19. 1988

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


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

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

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 199–221. 1992

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

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 data type and process specifications based on projection spaces

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

TCS, 23–43. 1987

Download Bibtex Eintrag


Algebraic Data Type and Process Specifications Based on Projection Spaces

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

Recent Trends in Data Type Specifications. SPRINGER, 23–43. 1988

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

On Recent Trends in Algebraic Specification

Ehrig, H., Pepper, P. and Orejas, F.

Proc.\ ICALP '89. SPRINGER, 263-289. 1989

Download Bibtex Eintrag

A New Integration Paradigm for Formal Specification of Safe Software Systems

Ehrig, H., Bardohl, R., Cornelius, F., Geisler, R., Große-Rhode and Padberg, J.

Proc. 10th Japan-Germany Forum on Information Technology 1996

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

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

Graph grammars: an algebraic approach

Ehrig, H., Pfender, M. and Schneider, H.

14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, 167–180. 1973

Download Bibtex Eintrag

Object-Oriented Connector-Component Architectures

Ehrig, H., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005), 123-151. 2005

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe