direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2000


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


A Proposal for Consistent Integration of Visual Computing with Visual Software Development

Ehrig, H. and Taentzer, G.

Proc. of Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000), Satellite Workshop of 27th Int. Colloqium on Automata, Languages, and Programming (ICALP'2000) 2000

Download Bibtex Eintrag

Consistency Analysis between UML Class and Sequence Diagrams using Attributed Graph Gammars

Tsiolakis, A. and Ehrig, H.

Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. Technische Universität Berlin, 77-86. 2000

Download Bibtex Eintrag

Generic Description, Behavior and Animation of Visual Modeling Languages

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

Proc. Integrated Design and Process Technology (IDPT 2000) 2000

Download Bibtex Eintrag


2001

The ``Petri Net Baukasten'': An Overview

Gajewsky, M. and Ehrig, H.

Unifying Petri Nets. SPRINGER, 26–53. 2001

Download Bibtex Eintrag

On Formal Semantics and Integration of Object Oriented Modeling Languages

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

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

Download Bibtex Eintrag

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Journal of Applied Categorical Structures, 83–110. 2001

Link zur Publikation Download Bibtex Eintrag

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen

Ehrig, H. and Grosse Rhode, M.

Informatik Forschung und Entwicklung, Springer-Verlag, 100–117. 2001

Download Bibtex Eintrag

Tight and Loose Semantics for Transformation Systems

Orejas, F., Ehrig, H. and Pino, E.

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag

Parametrized Net Classes: A Uniform Approach to Petri Net Classes

Padberg, J. and Ehrig, H.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 173–229. 2001

Link zur Publikation Download Bibtex Eintrag

Compositional Modeling of Reactive Systems Using Open Nets

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

Proc. of CONCUR 2001. SPRINGER, 502-518. 2001

Download Bibtex Eintrag

Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

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

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001

Download Bibtex Eintrag

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


Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001

Download Bibtex Eintrag

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001

Download Bibtex Eintrag

Mathematisch Strukturelle Grundlagen der Informatik, 2. überarbeitete Auflage

Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.

||SPRINGER. 2001

Download Bibtex Eintrag

Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, a. F.

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

Link zur Publikation Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal in 1994

Ehrig, H. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 180–191. 2001

Download Bibtex Eintrag

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000

Ehrig, H.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 131–133. 2001

Download Bibtex Eintrag


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




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