direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

vor >> [19]

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications [23]

Ehrig, H., Ermel, C. and Taentzer, G.

2011

Link zur Publikation [24] Download Bibtex Eintrag [25]

Algebraic concepts applied to software development using parameterized specifications with requirements [26]

Ehrig, H. and Fey, W.

1983

Download Bibtex Eintrag [27]

A View-Based Approach to System Modelling [28]

Engels, E., Ehrig, H., Heckel, R., Taentzer, G. and Corradini, A.

Report on the Dagstuhl-Seminar 9637 emphGraph Transformations in Computer Science 1996

Download Bibtex Eintrag [29]

Methodology for the specification of software systems: from formal requirements to algebraic design specifications. [30]

Ehrig, H. and Fey, W.

Informatik Fachberichte 50. SPRINGER, 255–269. 1981

Download Bibtex Eintrag [31]

Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective [32]

Engels, G. and Ehrig, H.

Proc. Colloquium on Graph Transformation and its Application in Computer Science, 25–28. 1995

Download Bibtex Eintrag [33]

Towards Abstract User Interfaces for Formal System Specifications [34]

Ehrig, H., Fey, W. and Hansen, H.

Recent Trends in Data Type Specification, Informatik Fachberichte 116. SPRINGER, 73–88. 1985

Download Bibtex Eintrag [35]

ACT ONE: An Algebraic Specification Language with two Level of Semantics [36]

Ehrig, H., Fey, W. and Hansen, H.

1983

Download Bibtex Eintrag [37]

A View-Oriented Approach to System Modelling Using Graph Transformation [38]

Engels, G., Heckel, R., Taentzer, G. and Ehrig, H.

Proc. of ESEC/FSE'97, Zürich. SPRINGER, 327–343. 1997

Download Bibtex Eintrag [39]

Algebraic Concepts for the Evolution of Module Families [40]

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 [41]

Specification and Implementation of Animation Views for Petri nets [42]

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 [43] Download Bibtex Eintrag [44]

Algebraic Software Development Concepts for Module and Configuration Families [45]

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 [46]

Behavior-Preserving Simulation-to-Animation Model and Rule Transformation [47]

Ermel, C. and Ehrig, H.

Proc. of Workshop on Graph Transformation for Verification and Concurrency (GT-VC'07). Elsevier Science, 55-74. 2008

Link zur Publikation [48] Download Bibtex Eintrag [49]

Algebraic Concepts for Software Configuration Management [50]

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

1988

Download Bibtex Eintrag [51]

Modeling Visual Languages based on Graph Transformation Concepts and Tools [52]

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation [53] Download Bibtex Eintrag [54]

Algebraic Specifications of Modules and Configuration Families [55]

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

1988

Download Bibtex Eintrag [56]

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation: Long Version [57]

Ermel, C., Ehrig, H. and Ehrig, K.

2006

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

Pre-Proceedings of the International Colloquium on Graph and Model Transformation � On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010) [60]

Ermel, C., Ehrig, H., Orejas, F. and Taentzer, T.

2010

Link zur Publikation [61] Download Bibtex Eintrag [62]

Categories for the Development of Algebraic Module Specification [63]

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 [64]

Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets [65]

Ermel, C., Ehrig, H. and Taentzer, G.

Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin. SPRINGER, 11–20. 2006

Link zur Publikation [66] Download Bibtex Eintrag [67]

Algebraic Theory of Modular Specification Development [68]

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

1987

Download Bibtex Eintrag [69]

Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets [70]

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

Proc. Integrated Design and Process Technology, 186–193. 1996

Download Bibtex Eintrag [71]

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

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

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

Download Bibtex Eintrag [73]

Algebraische Spezifikationen eines Stücklistensystems - Eine Fallstudie [74]

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 [75]

Finitary M-Adhesive Categories - Unabridged Version [76]

Gabriel, K., Braatz, B., Ehrig, H. and Golas, U.

2010

Link zur Publikation [77] Download Bibtex Eintrag [78]

Distributive Laws for Composition and Union of Module Specification for Software Systems [79]

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 [80]

The ``Petri Net Baukasten'': An Overview [81]

Gajewsky, M. and Ehrig, H.

Unifying Petri Nets. SPRINGER, 26–53. 2001

Download Bibtex Eintrag [82]

Algebraic Theory of Module Specifications with Constraints [83]

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

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

Download Bibtex Eintrag [84]

Specification techniques for concurrent and distributed systems [85]

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

1992

Download Bibtex Eintrag [86]

Multi-Amalgamation in Adhesive Categories [87]

Golas, U., Ehrig, H. and Habel, A.

Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10). SPRINGER, 346–361. 2010

Link zur Publikation [88] Download Bibtex Eintrag [89]

Specification techniques for concurrent and distributed systems [90]

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

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

Download Bibtex Eintrag [91]

vor >> [110]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008