direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1989

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

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

1987

Algebraic Theory of Modular Specification Development

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

1987

Download Bibtex Eintrag

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

1986

Distributive Laws for Composition and Union of Module Specification for Software Systems

Ehrig, H., Fey, W. and Parisi-Prescicce, F.

Proc. IFIP WG 2.1 Working Conf. on Program Specification and Transformation Bad-Tlz, April 1986. North Holland, 293–312. 1986

Download Bibtex Eintrag

Algebraic Theory of Module Specifications with Constraints

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

Proc. MFCS 1986, Bratislava. SPRINGER, 59–77. 1986

Download Bibtex Eintrag

Concurrent Transformation of Relational Structures

Ehrig, H., Habel, A. and Rosen, B.

, 13-50. 1986

Download Bibtex Eintrag

Specification of Modular Systems

Weber, H. and Ehrig, H.

IEEE Transactions on Software Engineering, 784–798. 1986

Download Bibtex Eintrag

Programming in the large with algebraic module specifications

Ehrig, H. and Weber, H.

Information Processing, 675-684. 1986

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe