direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1987

Towards distributed graph grammars

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

3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 86–98. 1987

Download Bibtex Eintrag

Graph Rewriting with Unification and Composition

Parisi-Presicce, F., Ehrig, H. and Montanari, U.

3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 496–514. 1987

Download Bibtex Eintrag

Algebraic Specification of Modules and their Basic Interconnections

Blum, E., Ehrig, H. and Parisi-Presicce, F.

JCSS, 293-339. 1987

Download Bibtex Eintrag

Canonical Constraints for Parameterized Data Types

Wagner, E. and Ehrig, H.

TCS, 323–351. 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.

TCS, 23–43. 1987

Download Bibtex Eintrag

1988

Algebraic Concepts for Software Configuration Management

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

1988

Download Bibtex Eintrag

Algebraic Specifications of Modules and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.

1988

Download Bibtex Eintrag

Specification of Concurrently Executable Modules and Distributed Modular Systems

Weber, H. and Ehrig, H.

Proc.\ IEEE Workshop on Future Trends of Distr.\ Comp.\ Systems in the 1990s, Hongkong. IEEE, 202–215. 1988

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 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

1989

Algebraic Concepts for the Evolution of Module Families

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

Proc. First Int. Conf. Algebraic Methodology and Software Technology (AMAST), University of Iowa. University of Iowa. 1989

Download Bibtex Eintrag

Algebraic Software Development Concepts for Module and Configuration Families

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

Proc. 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India 1989

Download Bibtex Eintrag

Algebraic Specifications of Modules and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.

Journal Inf. Process. Cybern. EIK 25, 205–232. 1989

Download Bibtex Eintrag

Categories for the Development of Algebraic Module Specification

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Parisi-Presicce, F.

Proc. Categorical Methods in Comp. Sci. with Aspects from Topology. SPRINGER, 157–184. 1989

Download Bibtex Eintrag

The Construct PRO of Projection Spaces: Its Internal Structure

Ehrig, H. and Herrlich, H.

Categorical Methods in Computer Science. SPRINGER, 286–293. 1989

Download Bibtex Eintrag

Semantical Constructions for Categories of Behavioral Specifications

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

Computer Science - with Aspects from Topology. SPRINGER, 220–243. 1989

Download Bibtex Eintrag


A Categorical Concept of Constraints for Algebraic Specifications

Ehrig, H.

Categorical Methods in Computer Science - with Aspects from Topology. SPRINGER, 1–15. 1989

Download Bibtex Eintrag


On Recent Trends in Algebraic Specification

Ehrig, H.

Invited Paper ICALP'89. SPRINGER, 263–288. 1989

Download Bibtex Eintrag

Algebraic Specification of Modeules and Modular Software Systems within the Framework of Specification Logics

Ehrig, H.

Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine, 79–92. 1989

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

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.

Informatik Fachberichte 212. SPRINGER, 201–224. 1989

Download Bibtex Eintrag

Overview of Algebraic Specification Languages

Ehrig, H. and Classen, I.

BEACTS, 103–111. 1989

Download Bibtex Eintrag

1990

Compatibility Problems in the Development of Algebraic Module Specifications

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D. and Parisi-Presicce, F.

Theoretical Computer Science, 27–71. 1990

Download Bibtex Eintrag

Transformation of Combined Data Type and Process Specifications Using Projection Algebras

Grosse-Rhode, M. and Ehrig, H.

Stepwise Refinement of Distributed Systems, REX-Workshop 1989. SPRINGER, 301–339. 1990

Download Bibtex Eintrag


Parallelism and Concurrency in High Level Replacement Systems

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

1990

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe