direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

R

Graphical support and integration of formal and semi-formal methods for software specification and development

Ribeiro, L., Ehrig, H., Korff, M., Padberg, J., Nunes, D., Bardohl, R. and Castro, P.

Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil 1993

Download Bibtex Eintrag

Formal Development of Concurrent Systems Using Algebraic High-Level Nets and Transformations

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

Proc. VII Simpósio Brasileiro de Engenharia de Software, 1–16. 1993

Download Bibtex Eintrag

S

Grammars on Partial Graphs

Schneider, H. and Ehrig, H.

Acta Informatica, 297–316. 1976

Download Bibtex Eintrag

Graph Transformations in Computer Science

Schneider, H.-J. and Ehrig, H.

||SPRINGER. 1994

Download Bibtex Eintrag

Formale Techniken für die Eisenbahnsicherungstechnik: Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen

Schnieder, E., Einer, S., Ehrig, H. and al., e.

Signal und Draht (Rail Signalling and Telecommunication), 38-42. 1999

Download Bibtex Eintrag


Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Schölzel, H., Ehrig, H., Maximova, M., Gabriel, K. and Hermann, F.

Proc. Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT'12) 2012

Download Bibtex Eintrag

T

Semantics of Distributed System Specifications based on Graph Transformation

Taentzer, G. and Ehrig, H.

GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000

Download Bibtex Eintrag

Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars

Tsiolakis, A. and Ehrig, H.

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 77–86. 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

V

Termination Analysis of Model Transformations by Petri Nets

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U. and Taentzer, G.

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

Link zur Publikation Download Bibtex Eintrag

W

Canonical Constraints for Parameterized Data Types

Wagner, E. and Ehrig, H.

TCS, 323–351. 1987

Download Bibtex Eintrag

Specification of Concurrently Executable Modules and Distributed Modular Systems

Weber, H. and Ehrig, H.

Proc.\ IEEE Workshop on Future Trends of Distr.\ Comp.\ Systems in the 1990s, Hongkong. IEEE, 202–215. 1988

Download Bibtex Eintrag

Specification of Modular Systems

Weber, H. and Ehrig, H.

IEEE Transactions on Software Engineering, 784–798. 1986

Download Bibtex Eintrag






How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

KORSO: Methods, Languages, and Tools for the Construction of Correct Software. SPRINGER, 173-189. 1995

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

{

Attributed Graph Transformation with Node Type Inheritance: Long Version

de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

2005

Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe