direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Specification

Ehrig, H.

Current Trends in Theoretical Computer Science. World Scientific, Singapore etc., 49–222. 2001

Download Bibtex Eintrag

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





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

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



Categorical Foundations of Distributed Graph Transformation

Ehrig, H., Orejas, F. and Prange, U.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 215 – 229. 2006

Link zur Publikation Download Bibtex Eintrag

A Uniform Approach to Petri Nets

Ehrig, H. and Padberg, J.

Foundations of Computer Science: Potential - Theory - Cognition. SPRINGER, 219–231. 1997

Download Bibtex Eintrag

Introduction to Universal Parametrized Net Classes

Ehrig, H. and Padberg, J.

MoveOn-Proc. der DFG-Forschergruppe``Petrinetz-Technologie''. Forschungsberichte des Fachbereichs Informatik, 39–51. 1997

Download Bibtex Eintrag

A Categorical Concept of Constraints for Algebraic Specifications

Ehrig, H.

Categorical Methods in Computer Science - with Aspects from Topology. SPRINGER, 1–15. 1989

Download Bibtex Eintrag

Graph Grammars and Petri Net Transformations

Ehrig, H. and Padberg, J.

Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT. SPRINGER, 496–536. 2004

Download Bibtex Eintrag


On Recent Trends in Algebraic Specification

Ehrig, H.

Invited Paper ICALP'89. SPRINGER, 263–288. 1989

Download Bibtex Eintrag

Algebraic Specification of Modeules and Modular Software Systems within the Framework of Specification Logics

Ehrig, H.

Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine, 79–92. 1989

Download Bibtex Eintrag


Introduction

Ehrig, H.

Proc. ETAPSOFT, Vol. 1. SPRINGER, 1–3. 1985

Download Bibtex Eintrag

Petrinetze: Modellierung, Strukturierung und Kompositionalität

Ehrig, H., Padberg, J., Ermel, C. and Grigoriu, L.

1999

Download Bibtex Eintrag

Combining initial and loose algebraic specification methods including compositionality and modules

Ehrig, H.

Proc. Workshop on Formal Software Development, Nyborg. University of Copenhagen. 1984

Download Bibtex Eintrag

From Basic Views and Aspects to Integration of Specification Formalisms

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

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 202 – 214. 2001

Link zur Publikation Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe