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]

1985

Towards Abstract User Interfaces for Formal System Specifications [24]

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

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

Download Bibtex Eintrag [25]

Graph grammars with application conditions [26]

Ehrig, H. and Habel, A.

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

Download Bibtex Eintrag [27]

Specification of Modular Systems [28]

Weber, H. and Ehrig, H.

1985

Download Bibtex Eintrag [29]

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics [30]

Ehrig, H. and Mahr, B.

||SPRINGER. 1985

Download Bibtex Eintrag [31]

Introduction [32]

Ehrig, H.

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

Download Bibtex Eintrag [33]

Algebraic Specification of Modules [34]

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

1984

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

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

Parameter Passing in Algebraic Specification Languages [38]

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

, 45–81. 1984

Download Bibtex Eintrag [39]

Combining initial and loose algebraic specification methods including compositionality and modules [40]

Ehrig, H.

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

Download Bibtex Eintrag [41]

An algebraic specification concept for modules (draft version) [42]

Ehrig, H.

1984

Download Bibtex Eintrag [43]

Denotational and initial algebra semantics of the algebraic specification language LOOK [44]

Ehrig, H., Thatcher, J., Lucas, P. and Zilles, S.

1984

Download Bibtex Eintrag [45]

1983

Algebraic concepts applied to software development using parameterized specifications with requirements [46]

Ehrig, H. and Fey, W.

1983

Download Bibtex Eintrag [47]

ACT ONE: An Algebraic Specification Language with two Level of Semantics [48]

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

1983

Download Bibtex Eintrag [49]

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

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

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

Download Bibtex Eintrag [51]

Compatibility of Parameter Passing and Implementation of Parameterized Types [52]

Ehrig, H. and Kreowski, H. J.

TCS, 255–286. 1983

Download Bibtex Eintrag [53]

Aspects of Concurrency in Graph Grammars [54]

Ehrig, H.

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

Download Bibtex Eintrag [55]

Concurrent Transformations of Graphs and Relational Structures [56]

Ehrig, H.

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

Download Bibtex Eintrag [57]

Development, specification and semantics of strictly modular system [58]

Ehrig, H.

1983

Download Bibtex Eintrag [59]

Development, specification and semantics of strictly modular system [60]

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

Church-Rosser Poperties for Graph Replacement Systems with Unique Splitting [62]

Ehrig, H. and Staples, J.

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

Download Bibtex Eintrag [63]

Algebraic specifications with generating constraints [64]

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

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

Download Bibtex Eintrag [65]

1982

Concurrency of node label controlled graph transformations [66]

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

1982

Download Bibtex Eintrag [67]

Algebraic Implementation of Abstract Data Types [68]

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

TCS, 209–263. 1982

Download Bibtex Eintrag [69]

Parameter passing commutes with implementation of parameterized data types [70]

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

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

Download Bibtex Eintrag [71]

Denotational and Initial Algebra Semantics of the Algebraic Specification Language LOOK [72]

Ehrig, H., Thatcher, J. W., Lucas, P. and Zilles, S. N.

1982

Download Bibtex Eintrag [73]

Algebraic Constraints for Specifications and Canonical Form Results [74]

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

1982

Download Bibtex Eintrag [75]

1981

Methodology for the specification of software systems: from formal requirements to algebraic design specifications. [76]

Ehrig, H. and Fey, W.

Informatik Fachberichte 50. SPRINGER, 255–269. 1981

Download Bibtex Eintrag [77]

A Graph Theoretical Model for Multi-Pass Parsing [78]

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

Parameter Passing in Algebraic Specification Languages [80]

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

Keywords in Context: An Algebraic Specification [82]

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

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

Download Bibtex Eintrag [83]

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008