direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1991



1992

Specification techniques for concurrent and distributed systems

Ehrig, H., Große-Rhode, M. and Heise, A.

Proc. 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis 1992

Download Bibtex Eintrag

Restriction Constructions in Specification Logics

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag

Introduction to Graph Grammars with Applications to Semantical Networks

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

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag


From Parallel to Distributed Derivations of Graphs in the Single Pushout Approach

Ehrig, H. and Löwe, M.

Memorial Volume for R. Frank, Inf. Fachberichte 309, Berlin. SPRINGER, 47–65. 1992

Download Bibtex Eintrag



Note on Standard Representation of Graphs and Graph Derivations

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

1992

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


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

Ehrig, H. and Parisi-Presicce, F.

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 222–235. 1992

Download Bibtex Eintrag

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

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

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 199–221. 1992

Download Bibtex Eintrag

From Parallel Graph Grammars to Parallel High- Level Replacement Systems

Ehrig, H. and Taentzer, G.

Lindenmayer Systems. SPRINGER, 283–303. 1992

Download Bibtex Eintrag


1993

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Language

Ehrig, H., Jimenez, R. M. and Orejas, F.

Proc.\ TAPSOFT '93, Paris. SPRINGER, 16–30. 1993

Download Bibtex Eintrag


Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

1993

Download Bibtex Eintrag


GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Korff, M., Padberg, J., Ribeiro, R., Nunes, D., Martins, J. and Martini, A.

Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil. PUC/Rio Press. 1993

Download Bibtex Eintrag

Graphical support and integration of formal and semi-formal methods for software specification and development

Ribeiro, L., Ehrig, H., Korff, M., Padberg, J., Nunes, D., Bardohl, R. and Castro, P.

Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil 1993

Download Bibtex Eintrag







The ESPRIT BRWG COMPUGRAPH Computing by Graph Transformations : A Survey

Ehrig, H. and Löwe, M.

TCS 109. North-Holland, 3 – 6. 1993

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe