TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

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

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



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

1982

Concurrency of node label controlled graph transformations

Janssens, D., Kreowski, H.-J., Rozenberg, G. and Ehrig, H.

1982

Download Bibtex Eintrag

Algebraic Implementation of Abstract Data Types

Ehrig, H., Kreowski, H. J., Mahr, B. and Padawitz, P.

TCS, 209–263. 1982

Download Bibtex Eintrag

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



1981


A Graph Theoretical Model for Multi-Pass Parsing

Ehrig, H., Hoffmann, B. and Schmiedicke, I. R.

Proc. Workshop on Graph-Theoretical Concepts in Computer Science, Linz. Hanser Verlag, 19–31. 1981

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Workshop on Program Specification, Aarhus. SPRINGER, 322-369. 1981

Download Bibtex Eintrag

Keywords in Context: An Algebraic Specification

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

Proc. Workshop on Program Specification, Aarhus, Denmark. SPRINGER, 78–83. 1981

Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe