direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001

Download Bibtex Eintrag








Complexity of Implementations on the Level of Algebraic Specifications

Ehrig, H. and Mahr, B.

Proc. 12th ACM Symposium Theory of Comp., Los Angeles, 281–293. 1980

Download Bibtex Eintrag

Introduction to Algebraic Specification – Part 1: Formal Methods for Software Development

Ehrig, H., Mahr, B., en, I. C. and Orejas, F.

The Computer Journal, 460–467. 1992

Download Bibtex Eintrag

Mathematisch–strukturelle Grundlagen der Informatik

Ehrig, H., Mahr, B., Cornelius, F., Große–Rhode, M. and Zeitz, P.

||Springer Verlag, Berlin Heidelberg New–York. 1998

Download Bibtex Eintrag

Behavior and Instantiation of High-Level Net Processes

Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag

Mathematisch Strukturelle Grundlagen der Informatik, 2. überarbeitete Auflage

Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.

||SPRINGER. 2001

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


From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments

Ehrig, H.

Proc. Int. Coll. on Graph and Model Transformation (GraMoT 2010). European Association of Software Science and Technology, 1–5. 2010

Link zur Publikation Download Bibtex Eintrag


Kategorielle Theorie von Automaten

Ehrig, H.

BI-Buch: Überblicke Mathematik VII, 167–218. 1974

Download Bibtex Eintrag

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

BEACTS, 106–104. 1997

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

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

, 29–38. 1997

Download Bibtex Eintrag

On the Relevance of High-Level Net Processes

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 89-95. 2004

Download Bibtex Eintrag

Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, a. F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 192 – 201. 2001

Link zur Publikation Download Bibtex Eintrag

Bigraphs Meet Double Pushouts

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 27-41. 2004

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal in 1994

Ehrig, H. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 180–191. 2001

Download Bibtex Eintrag

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000

Ehrig, H.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 131–133. 2001

Download Bibtex Eintrag

A generic component framework for system modeling

Ehrig, H. and Orejas, F.

Proceedings of ETAPS-FASE (Fundamental Approaches of Software Engineering). SPRINGER, 33-48. 2002

Download Bibtex Eintrag

Combined Algebraic Specification Techniques for Concurrent and Distributed Systems

Ehrig, H.

Proc. GI-Annual Meeting, Dresden. Informatik, Wirtschaft, Gesellschaft, 528–533. 1993

Download Bibtex Eintrag


Algebraic Specification

Ehrig, H.

Current Trends in Theoretical Computer Science. World Scientific, Singapore etc., 49–222. 2001

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe