direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E


Algebraic Concepts for the Evolution of Module Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Jacobs, D.

Proc. First Int. Conf. Algebraic Methodology and Software Technology (AMAST), University of Iowa. University of Iowa. 1989

Download Bibtex Eintrag

Algebraic Software Development Concepts for Module and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Jacobs, D.

Proc. 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India 1989

Download Bibtex Eintrag

Algebraic Concepts for Software Configuration Management

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Jacobs, D.

1988

Download Bibtex Eintrag

Algebraic Specifications of Modules and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.

Journal Inf. Process. Cybern. EIK 25, 205–232. 1989

Download Bibtex Eintrag

Algebraic Specifications of Modules and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.

1988

Download Bibtex Eintrag

Compatibility Problems in the Development of Algebraic Module Specifications

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D. and Parisi-Presicce, F.

Theoretical Computer Science, 27–71. 1990

Download Bibtex Eintrag

Categories for the Development of Algebraic Module Specification

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Parisi-Presicce, F.

Proc. Categorical Methods in Comp. Sci. with Aspects from Topology. SPRINGER, 157–184. 1989

Download Bibtex Eintrag

Algebraic Theory of Modular Specification Development

Ehrig, H., Fey, W., Hansen, H., Löwe, M. and Parisi-Presicce, F.

1987

Download Bibtex Eintrag

Algebraische Spezifikationen: Konzepte und Sprachen für die Software-Entwicklung

Ehrig, H., Fey, W. and Hasler, K.

Festband 10 Jahre Informatik Dortmund. Abt. Informatik, Universität Dortmund. 1983

Download Bibtex Eintrag

Algebraische Spezifikationen eines Stücklistensystems - Eine Fallstudie

Ehrig, H., Fey, W. and Kreowski, H.-J.

Proc. 2nd German Chapter of the ACM Software Engineering - Entwurf und Spezifikation, Berlin. Teubner Verlag, Stuttgart, 75–90. 1980

Download Bibtex Eintrag

Distributive Laws for Composition and Union of Module Specification for Software Systems

Ehrig, H., Fey, W. and Parisi-Prescicce, F.

Proc. IFIP WG 2.1 Working Conf. on Program Specification and Transformation Bad-Tlz, April 1986. North Holland, 293–312. 1986

Download Bibtex Eintrag

Algebraic Theory of Module Specifications with Constraints

Ehrig, H., Fey, W., Parisi-Presicce, F. and Blum, E.

Proc. MFCS 1986, Bratislava. SPRINGER, 59–77. 1986

Download Bibtex Eintrag


Specification techniques for concurrent and distributed systems

Ehrig, H., Große-Rhode, M. and Heise, A.

Proc. 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis 1992

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97. Springer - Verlag Singapore Pte. Ltd, 297-298. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97 –- Work in Progress Papers. Victoria University of Wellington, New Zealand. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Proc. Formal Methods Pacific 1997 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

, 7–28. 1997

Download Bibtex Eintrag


Action Nets and Abstract Statecharts in the Theory of High-Level Structures

Ehrig, H., Gajewsky, M. and Padberg, J.

Proc.\ of First European GETGRATS Workshop 1997

Download Bibtex Eintrag

High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 341–400. 1999

Download Bibtex Eintrag

High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific, Singapore etc., 341–400. 2000

Download Bibtex Eintrag

From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms

Ehrig, H., Gajewsky, M. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques. SPRINGER, 1–17. 1998

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

On Formal Semantics and Integration of Object Oriented Modeling Languages

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

BEACTS, 77–81. 2000

Download Bibtex Eintrag


Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

8$^th$ International Conference on Concurrency Theory (CONCUR'97),Warsaw, Poland. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

CONCUR'97. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe