TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

1991

Algebraic Specification Grammars

Parisi-Presicce, F. and Ehrig, H.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER. 1991

Download Bibtex Eintrag


Computing by graph transformation–overall aims and new results

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

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 688–697. 1991

Download Bibtex Eintrag



Graph Grammars and Logic Programming

Corradini, A., Montanari, U., Rossi, F., Ehrig, H. and Löwe, M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 221–237. 1991

Download Bibtex Eintrag



Algebraic Specification Grammars: Adjunction between Module Specifications and Graph Grammars

Ehrig, H. and Parisi-Presicce, F.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 292–310. 1991

Download Bibtex Eintrag

Theory of Algebraic Module Specifications Including Behavioral Semantics and Constraints

Ehrig, H., Baldamus, M., Cornelius, F. and Orejas, F.

Algebraic Methodology and Softwre Technology (AMAST), Iowa City. Springer Workshops in Computing 23, 145-172. 1991

Download Bibtex Eintrag


A match operation for rule-based modular system design

Ehrig, H. and Parisi-Presicce, F.

Proc. ADT-Workshop, Wusterhausen. SPRINGER, 74–97. 1991

Download Bibtex Eintrag

New concepts for amalgamation and extension in the framework of specification logics

Ehrig, H., Baldamus, M. and Orejas, F.

Proc. ADT-Workshop Durdan. SPRINGER, 199 – 221. 1991

Download Bibtex Eintrag


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

Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.

Syst.\ Anal.\ Model.\ Simul., 353–373. 1991

Download Bibtex Eintrag

1990

Compatibility Problems in the Development of Algebraic Module Specifications

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

Theoretical Computer Science, 27–71. 1990

Download Bibtex Eintrag

Transformation of Combined Data Type and Process Specifications Using Projection Algebras

Grosse-Rhode, M. and Ehrig, H.

Stepwise Refinement of Distributed Systems, REX-Workshop 1989. SPRINGER, 301–339. 1990

Download Bibtex Eintrag


Parallelism and Concurrency in High Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

1990

Download Bibtex Eintrag





Linking Schemas and Module Specifications for Distributed Systems

Ehrig, H. and Arbib, M.

Proc. 2nd IEEE Workshop on Future Trends of Distributed Computing Systems. IEEE Computing Society, 165–171. 1990

Download Bibtex Eintrag

Combining data type and recursive process specifications using projection algebras

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

TCS. North Holland, 347-380. 1990

Download Bibtex Eintrag

Algebraic Concepts for Formal Specification and Transformation of Modular Software Systems

Ehrig, H., Boehm, P. and Fey, W.

Proc. 23rd Hawaii Int. Conf. on System Science, Kailua-Kona, Hawaii. IEEE Comp. Sci. Press, 153–164. 1990

Download Bibtex Eintrag


Algebraic Specification of Software Systems

Ehrig, H. and Classen, I.

BEACTS, 145–153. 1990

Download Bibtex Eintrag

1989

Algebraic Concepts for the Evolution of Module Families

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

Proc. First Int. Conf. Algebraic Methodology and Software Technology (AMAST), University of Iowa. University of Iowa. 1989

Download Bibtex Eintrag

Algebraic Software Development Concepts for Module and Configuration Families

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

Proc. 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India 1989

Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe