direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

Ehrig, H. and Orejas, F.

Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, 201–228. 2001

Link zur Publikation Download Bibtex Eintrag




Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, F.

Bull. EATCS 65, Formal Specification Column, Part 5 1998

Download Bibtex Eintrag




Dynamic Abstract Data Types: An Informal Proposal

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

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


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

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

Journal of Integrated Design and Process Science, 78–104. 2003

Link zur Publikation Download Bibtex Eintrag


A Generic Component Concept for System Modeling

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

Proc. FASE 2002: Formal Aspects of Software Engineering. SPRINGER, 32–48. 2002

Download Bibtex Eintrag




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

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

Proc. of the Sixth World Conference on Integrated Design\& Process Technology (IDPT'02) 2002

Download Bibtex Eintrag


A Component Framework based on High-Level Replacement Systems

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

Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'02), Satellite Event of ICGT'02, 124-138. 2002

Link zur Publikation Download Bibtex Eintrag


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


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

Introduction to COMPUGRAPH

Ehrig, H.

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

Link zur Publikation Download Bibtex Eintrag

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques

Ehrig, H., Orejas, F. and Padberg, J.

Proc. FORMS'99, Braunschweig, Germany. Forschrittberichte VDI, Reihe 12, Nr. 436, VDI-Verlag, 31–54. 2000

Download Bibtex Eintrag

Algebraic Specification Concepts and Languages for Modular Software Systems

Ehrig, H.

Proc. Shanghai Workshop on Software Technology. Jiao Tong University. 1994

Download Bibtex Eintrag

From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Orejas, F. and Padberg, J.

BEATCS, 98–108. 1999

Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe