direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

1989

Algebraic Specifications of Modules and Configuration Families [24]

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 [25]

Categories for the Development of Algebraic Module Specification [26]

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 [27]

The Construct PRO of Projection Spaces: Its Internal Structure [28]

Ehrig, H. and Herrlich, H.

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

Download Bibtex Eintrag [29]

Semantical Constructions for Categories of Behavioral Specifications [30]

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

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

Download Bibtex Eintrag [31]

Computing by graph transformation (Gra Gra) –- Objectives, State-of-the-Art and Research Issues, References) [32]

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

1989

Download Bibtex Eintrag [33]

A Categorical Concept of Constraints for Algebraic Specifications [34]

Ehrig, H.

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

Download Bibtex Eintrag [35]

Concepts and Compatibility Requirements for Implementations and Transformations of Specifications [36]

Ehrig, H.

Algebraic Specification Column Part 6. EATCS, 79–92. 1989

Download Bibtex Eintrag [37]

On Recent Trends in Algebraic Specification [38]

Ehrig, H.

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

Download Bibtex Eintrag [39]

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

Ehrig, H.

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

Download Bibtex Eintrag [41]

Algebraic specification of modules and modular software systems within the framework of specification logics [42]

Ehrig, H.

1989

Download Bibtex Eintrag [43]

On Recent Trends in Algebraic Specification [44]

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

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

Download Bibtex Eintrag [45]

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

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 [47]

Overview of Algebraic Specification Languages [48]

Ehrig, H. and Classen, I.

BEACTS, 103–111. 1989

Download Bibtex Eintrag [49]

1988

Algebraic Concepts for Software Configuration Management [50]

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

1988

Download Bibtex Eintrag [51]

Algebraic Specifications of Modules and Configuration Families [52]

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

1988

Download Bibtex Eintrag [53]

Specification of Concurrently Executable Modules and Distributed Modular Systems [54]

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 [55]

Distributed parallelism of graph transformation [56]

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 [57]

Algebraic Data Type and Process Specifications Based on Projection Spaces [58]

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 [59]

1987

Algebraic Theory of Modular Specification Development [60]

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

1987

Download Bibtex Eintrag [61]

Towards distributed graph grammars [62]

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 [63]

Graph Rewriting with Unification and Composition [64]

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 [65]

Algebraic Specification of Modules and their Basic Interconnections [66]

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

JCSS, 293-339. 1987

Download Bibtex Eintrag [67]

Canonical Constraints for Parameterized Data Types [68]

Wagner, E. and Ehrig, H.

TCS, 323–351. 1987

Download Bibtex Eintrag [69]

Projektionsräume und Projektionsalgebren: Eine Algebraisierung von ultrametrischen Räumen [70]

Dimitrovici, C., Ehrig, H., Grosse-Rhode, M. and Rieckhoff, C.

1987

Download Bibtex Eintrag [71]

Algebraic data type and process specifications based on projection spaces [72]

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

TCS, 23–43. 1987

Download Bibtex Eintrag [73]

1986

Distributive Laws for Composition and Union of Module Specification for Software Systems [74]

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 [75]

Algebraic Theory of Module Specifications with Constraints [76]

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

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

Download Bibtex Eintrag [77]

Concurrent Transformation of Relational Structures [78]

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

, 13-50. 1986

Download Bibtex Eintrag [79]

Specification of Modular Systems [80]

Weber, H. and Ehrig, H.

IEEE Transactions on Software Engineering, 784–798. 1986

Download Bibtex Eintrag [81]

Programming in the large with algebraic module specifications [82]

Ehrig, H. and Weber, H.

Information Processing, 675-684. 1986

Download Bibtex Eintrag [83]

<< zurück [84]
vor >> [103]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008