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]

1991

Algebraic Specification Grammars [24]

Parisi-Presicce, F. and Ehrig, H.

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

Download Bibtex Eintrag [25]

Parallel and Distributed Derivations in the Single Pushout Approach [26]

Ehrig, H. and Löwe, M.

1991

Download Bibtex Eintrag [27]

Computing by graph transformation–overall aims and new results [28]

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

Computing by graph transformation–overall aims and new results [30]

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

BEATCS, 59–73. 1991

Download Bibtex Eintrag [31]

4th International Workshop on Graph Grammars and Their Application to Computer Science [32]

SPRINGER. 1991

Download Bibtex Eintrag [33]

Graph Grammars and Logic Programming [34]

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

New Compatibility Results for Implementation s within the Initial Algebraic Approach [36]

Ehrig, H. and Adametz, H.

BEATCS, 102-112. 1991

Download Bibtex Eintrag [37]

Nonequivalence of Categories for Equational Algebraic Specifications in View of High-Level Replacement Systems [38]

Ehrig, H. and Parisi-Presicce, F.

1991

Download Bibtex Eintrag [39]

Algebraic Specification Grammars: Adjunction between Module Specifications and Graph Grammars [40]

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

Theory of Algebraic Module Specifications Including Behavioral Semantics and Constraints [42]

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

Non-equivalence of categories for equational algebraic specifications in view of High-Level-Replacement systems [44]

Ehrig, H. and Parisi-Presicce, F.

1991

Download Bibtex Eintrag [45]

A match operation for rule-based modular system design [46]

Ehrig, H. and Parisi-Presicce, F.

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

Download Bibtex Eintrag [47]

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

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

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

Download Bibtex Eintrag [49]

New Concepts for Amalgamation and Extension in the Framework of Specification Logics [50]

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

1991

Download Bibtex Eintrag [51]

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

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

1990

Compatibility Problems in the Development of Algebraic Module Specifications [54]

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

Theoretical Computer Science, 27–71. 1990

Download Bibtex Eintrag [55]

Transformation of Combined Data Type and Process Specifications Using Projection Algebras [56]

Grosse-Rhode, M. and Ehrig, H.

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

Download Bibtex Eintrag [57]

Transformation of Combined Data Type and Process Specifications Using Projection Algebras [58]

Grosse-Rhode, M. and Ehrig, H.

1990

Download Bibtex Eintrag [59]

Parallelism and Concurrency in High Level Replacement Systems [60]

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

1990

Download Bibtex Eintrag [61]

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts [62]

Ehrig, H., Korff, M. and Löwe, M.

1990

Download Bibtex Eintrag [63]

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints [64]

Ehrig, H. and Mahr, B.

||SPRINGER. 1990

Download Bibtex Eintrag [65]

ESF-Concepts Linked with Algebraic Module Specifications [66]

Ehrig, H.

BEATCS, 138–144. 1990

Download Bibtex Eintrag [67]

Linking Schemes and Module Specifications [68]

Ehrig, H.

BEATCS, 136–139. 1990

Download Bibtex Eintrag [69]

Linking Schemas and Module Specifications for Distributed Systems [70]

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

Combining data type and recursive process specifications using projection algebras [72]

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

Algebraic Concepts for Formal Specification and Transformation of Modular Software Systems [74]

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

Overview of Algebraic Specification Environments and Tools [76]

Ehrig, H. and Classen, I.

BEACTS, 172–181. 1990

Download Bibtex Eintrag [77]

Algebraic Specification of Software Systems [78]

Ehrig, H. and Classen, I.

BEACTS, 145–153. 1990

Download Bibtex Eintrag [79]

1989

Algebraic Concepts for the Evolution of Module Families [80]

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

Algebraic Software Development Concepts for Module and Configuration Families [82]

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

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008