direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2001

The Relevance of Mathematics in Software System Development

Ehrig, H. and Schröter, G.

International Journal of Differential Equations and Applications, 169–182. 2001

Download Bibtex Eintrag

Specification and Implementation of Animation Views for Petri nets

Ermel, C., Bardohl, R. and Ehrig, H.

Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 12. 2001

Link zur Publikation Download Bibtex Eintrag

2002

Basic Results for Two Types of High-Level Replacement Systems

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

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation Download Bibtex Eintrag

High-Level Net Processes

Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P. and Heckel, R.

Formal and Natural Computing. SPRINGER, 191 - 219. 2002

Download Bibtex Eintrag

Application of Graph Transformation Techniques to the Area of Petri Nets

Braatz, B., Ehrig, H., Hoffmann, K., Padberg, J. and Urbávsek, M.

Proc. AGT 2002: APPLIGRAPH Workshop on Applied Graph Transformation, 35–44. 2002

Link zur Publikation Download Bibtex Eintrag

A generic component framework for system modeling

Ehrig, H. and Orejas, F.

Proceedings of ETAPS-FASE (Fundamental Approaches of Software Engineering). SPRINGER, 33-48. 2002

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

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

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

2003


Components for Algebra Transformation Systems

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag



Generation of Animation Views for Petri Nets in \textscGenGED

Ermel, C., Bardohl, R. and Ehrig, H.

Advances in Petri Nets: Petri Net Technology for Communication Based Systems 2003

Link zur Publikation Download Bibtex Eintrag

Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells für den objektorientierten Steuerungsentwurf

Braatz, A., Klein, M., Ehrig, H. and Westkämper, E.

Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme EKA 2003, 15. 2003

Download Bibtex Eintrag


Behavior and Instantiation of High-Level Net Processes

Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

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.

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

Link zur Publikation Download Bibtex Eintrag


Node Type Inheritance Concepts for Typed Graph Transformation

Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I.

2003

Link zur Publikation Download Bibtex Eintrag


2004



Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe