direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1982

Parameter passing commutes with implementation of parameterized data types

Ehrig, H. and Kreowski, H.-J.

9th Int. Coll. Automata, Languages, and Programming, Aarhu. SPRINGER, 197–211. 1982

Download Bibtex Eintrag



1983



Algebraische Spezifikationen: Konzepte und Sprachen für die Software-Entwicklung

Ehrig, H., Fey, W. and Hasler, K.

Festband 10 Jahre Informatik Dortmund. Abt. Informatik, Universität Dortmund. 1983

Download Bibtex Eintrag


Aspects of Concurrency in Graph Grammars

Ehrig, H.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 82–101. 1983

Download Bibtex Eintrag

Concurrent Transformations of Graphs and Relational Structures

Ehrig, H.

Proc. WG 1983, Int. Workshop on Graphtheoretic Concepts in Computer Science, Osnabrück. Trauner Verlag, 76–88. 1983

Download Bibtex Eintrag


Development, specification and semantics of strictly modular system

Ehrig, H.

Lect. Not. Seminar on State of the Art and Perspectives of Software Technology in Europe, U.S.A, and Japan, ICC Berlin. ICC Berlin. 1983

Download Bibtex Eintrag

Church-Rosser Poperties for Graph Replacement Systems with Unique Splitting

Ehrig, H. and Staples, J.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 82–101. 1983

Download Bibtex Eintrag

Algebraic specifications with generating constraints

Ehrig, H., Wagner, E. and Thatcher, J.

Proc. ICALP'83, Automata, Languages and Programming. SPRINGER, 188–202. 1983

Download Bibtex Eintrag

1984

ACT ONE. An Algebraic Specification Language Based on Initial Algebra and Free Functor Semantics.

Ehrig, H. and Hansen, H.

Proc. of the 10th National Summer School "Appl. of Math. in Eng." Varna. University of Varna. 1984

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

, 45–81. 1984

Download Bibtex Eintrag

Combining initial and loose algebraic specification methods including compositionality and modules

Ehrig, H.

Proc. Workshop on Formal Software Development, Nyborg. University of Copenhagen. 1984

Download Bibtex Eintrag



1985

Towards Abstract User Interfaces for Formal System Specifications

Ehrig, H., Fey, W. and Hansen, H.

Recent Trends in Data Type Specification, Informatik Fachberichte 116. SPRINGER, 73–88. 1985

Download Bibtex Eintrag

Graph grammars with application conditions

Ehrig, H. and Habel, A.

The Book of L. SPRINGER, 87–100. 1985

Download Bibtex Eintrag



Introduction

Ehrig, H.

Proc. ETAPSOFT, Vol. 1. SPRINGER, 1–3. 1985

Download Bibtex Eintrag

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

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

1987

Algebraic Theory of Modular Specification Development

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

1987

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe