direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

E

Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques [24]

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

1999

Download Bibtex Eintrag [25]

FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS [26]

Ehrig, H.

1993

Download Bibtex Eintrag [27]

Categorical Foundations of Distributed Graph Transformation [28]

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

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

Link zur Publikation [29] Download Bibtex Eintrag [30]

ESF-Concepts Linked with Algebraic Module Specifications [31]

Ehrig, H.

BEATCS, 138–144. 1990

Download Bibtex Eintrag [32]

A Uniform Approach to Petri Nets [33]

Ehrig, H. and Padberg, J.

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

Download Bibtex Eintrag [34]

Linking Schemes and Module Specifications [35]

Ehrig, H.

BEATCS, 136–139. 1990

Download Bibtex Eintrag [36]

Introduction to Universal Parametrized Net Classes [37]

Ehrig, H. and Padberg, J.

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

Download Bibtex Eintrag [38]

A Categorical Concept of Constraints for Algebraic Specifications [39]

Ehrig, H.

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

Download Bibtex Eintrag [40]

Graph Grammars and Petri Net Transformations [41]

Ehrig, H. and Padberg, J.

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

Download Bibtex Eintrag [42]

Concepts and Compatibility Requirements for Implementations and Transformations of Specifications [43]

Ehrig, H.

Algebraic Specification Column Part 6. EATCS, 79–92. 1989

Download Bibtex Eintrag [44]

Introduction to Universal Parameterized Net Classes [45]

Ehrig, H. and Padberg, J.

, 39–52. 1997

Download Bibtex Eintrag [46]

On Recent Trends in Algebraic Specification [47]

Ehrig, H.

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

Download Bibtex Eintrag [48]

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets [49]

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag [50]

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

Ehrig, H.

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

Download Bibtex Eintrag [52]

Linking Algebraic High-Level Nets and Dynamic Abstract Data Types [53]

Ehrig, H. and Padberg, J.

Algebraic Specification Column. EATCS, 132 – 144. 1994

Download Bibtex Eintrag [54]

Algebraic specification of modules and modular software systems within the framework of specification logics [55]

Ehrig, H.

1989

Download Bibtex Eintrag [56]

A Generic Framework for Connector Architectures based on Components and Transformations [57]

Ehrig, H., Padberg, J., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. FESCA'04, satellite of ETAPS'04, Barcelona, ENTCS, 53-67. 2004

Link zur Publikation [58] Download Bibtex Eintrag [59]

Introduction [60]

Ehrig, H.

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

Download Bibtex Eintrag [61]

Petrinetze: Modellierung, Strukturierung und Kompositionalität [62]

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

1999

Download Bibtex Eintrag [63]

Combining initial and loose algebraic specification methods including compositionality and modules [64]

Ehrig, H.

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

Download Bibtex Eintrag [65]

From Basic Views and Aspects to Integration of Specification Formalisms [66]

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 [67] Download Bibtex Eintrag [68]

An algebraic specification concept for modules (draft version) [69]

Ehrig, H.

1984

Download Bibtex Eintrag [70]

Algebraic High-Level Nets: Petri Nets Revisited [71]

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

Recent Trends in Data Type Specification. SPRINGER, 188–206. 1994

Download Bibtex Eintrag [72]

Development, specification and semantics of strictly modular system [73]

Ehrig, H.

1983

Download Bibtex Eintrag [74]

Algebraic High Level Nets: Petri Nets Revisited [75]

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

1993

Download Bibtex Eintrag [76]

Development, specification and semantics of strictly modular system [77]

Ehrig, H.

Lect. Not. Seminar on State of the Art and Perspectives of Software Technology in Europe, U.S.A, and Japan, ICC Berlin. ICC Berlin. 1983

Download Bibtex Eintrag [78]

Algebraic high-level nets: Petri nets revisited [79]

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

Proc. of the ADT-COMPASS Workshop'92 (Caldes de Malavella, Spain) 1993

Download Bibtex Eintrag [80]

Algebraic theory of parameterized specifications with requirements [81]

Ehrig, H.

Proc. CAAP '81. SPRINGER, 1–24. 1981

Download Bibtex Eintrag [82]

Workshop on Petri Nets and Graph Transformations [83]

Ehrig, H., Padberg, J. and Rozenberg, G.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

Link zur Publikation [84] Download Bibtex Eintrag [85]

Introduction to the Algebraic Theory of Graph Grammars (A Survey) [86]

Ehrig, H.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 1–69. 1979

Download Bibtex Eintrag [87]

<< zurück [88]
vor >> [107]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008