direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

{

Cooperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Ehrig, H., Schnieder, E. and Heckel, R.

Journal of Integrated Design and Process Technology, 3-21. 2001

Download Bibtex Eintrag

V

Propagation of constraints along model transformations using triple graph grammars and borrowed context

Ehrig, H., Hermann, F., Schölzel, H. and Brandt, C.

Visual Languages and Computing, 365-388. 2013

Download Bibtex Eintrag

T

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Transactions of the SDPS, 78–104. 2002

Download Bibtex Eintrag

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

Functorial Theory of Parameterized Specifications in a General Specification Framework

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

Theoretical Computer Science, 221 - 266. 1994

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


Attributed Graph Transformation with Node Type Inheritance

Lara, J. d., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

TCS, 139–163. 2007

Link zur Publikation Download Bibtex Eintrag


Algebraic Implementation of Abstract Data Types

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

TCS, 209–263. 1982

Download Bibtex Eintrag




Canonical Constraints for Parameterized Data Types

Wagner, E. and Ehrig, H.

TCS, 323–351. 1987

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 data type and process specifications based on projection spaces

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

TCS, 23–43. 1987

Download Bibtex Eintrag

Parallelism and concurrency of graph manipulations

Ehrig, H. and Rosen, B. K.

TCS, 247–275. 1980

Download Bibtex Eintrag

S

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

The Skeleton of Minimal Realization

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

Studien zur Algebra und Anwendungen. Akademie-Verlag, 137–154. 1979

Download Bibtex Eintrag


A component framework for system modeling based on high-level replacement systems

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Software and Systems Modeling, 114-134. 2004

Download Bibtex Eintrag

Formale Techniken für die Eisenbahnsicherungstechnik: Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen

Schnieder, E., Einer, S., Ehrig, H. and al., e.

Signal und Draht (Rail Signalling and Telecommunication), 38-42. 1999

Download Bibtex Eintrag

A Generic Approach to Connector Architectures

Ehrig, H., Orejas, F., Klein, M., Padberg, J., Pino, E. and Perez, S.

Science of Computer Programming 2008

Download Bibtex Eintrag


R

Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors

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

REVISTA MAEMATICA de la Universidad Complutense de Madrid, vol. 10, no. 2, 365–387. 1997

Download Bibtex Eintrag


Topological Automata

Ehrig, H. and Kühnel, W.

RAIRO, 73–91. 1974

Download Bibtex Eintrag

P

Introduction to COMPUGRAPH

Ehrig, H.

Proc. of SEGRAGRA'95 ``Graph Rewriting and Computation'' 1995

Link zur Publikation Download Bibtex Eintrag

M

Concurrency and Loose Semantics of Open Graph Transformation Systems

Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.

MSCS, 349-376. 2002

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe