Reiko Heckel
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester
Bestätigte E-Mail-Adresse bei mcs.le.ac.uk - Startseite
TitelZitiert vonJahr
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach
A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
6351997
Graph grammars with negative application conditions
A Habel, R Heckel, G Taentzer
Fundamenta Informaticae 26 (3, 4), 287-313, 1996
4031996
Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach
H Ehrig, R Heckel, M Korff, M Löwe, L Ribeiro, A Wagner, A Corradini
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
3821997
Confluence of typed attributed graph transformation systems
R Heckel, JM Küster, G Taentzer
International Conference on Graph Transformation, 161-176, 2002
2892002
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
G Engels, JH Hausmann, R Heckel, S Sauer
International Conference on the Unified Modeling Language, 323-337, 2000
2352000
Tutorial introduction to graph transformation: A software engineering perspective
L Baresi, R Heckel
International Conference on Graph Transformation, 402-429, 2002
2332002
Modeling and validation of service-oriented architectures: application vs. style
L Baresi, R Heckel, S Thöne, D Varró
ACM SIGSOFT Software Engineering Notes 28 (5), 68-77, 2003
2112003
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G Engels, JM Küster, R Heckel, L Groenewegen
ACM SIGSOFT software engineering notes 26 (5), 186-195, 2001
2052001
Graph transformation in a nutshell
R Heckel
Electronic notes in theoretical computer science 148 (1), 187-198, 2006
1982006
Ensuring consistency of conditional graph grammars-a constructive approach
R Heckel, A Wagner
Electronic Notes in Theoretical Computer Science 2, 118-126, 1995
1981995
Detection of conflicting functional requirements in a use case-driven approach
JH Hausmann, R Heckel, G Taentzer
Proceedings of the 24th International Conference on Software Engineering …, 2002
1652002
Towards contract-based testing of web services
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 116, 145-156, 2005
1512005
Rule-based specification of behavioral consistency based on the UML meta-model
G Engels, R Heckel, JM Küster
International Conference on the Unified Modeling Language, 272-286, 2001
1452001
Automatic conformance testing of web services
R Heckel, L Mariani
International Conference on Fundamental Approaches to Software Engineering …, 2005
1332005
Style-based modeling and refinement of service-oriented architectures
L Baresi, R Heckel, S Thöne
Software & Systems Modeling 5 (2), 187-207, 2006
1172006
Towards model-driven testing
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 82 (6), 33-43, 2003
1032003
Consistency-preserving model evolution through transformations
G Engels, R Heckel, JM Küster, L Groenewegen
International Conference on the Unified Modeling Language, 212-227, 2002
1032002
Model-based discovery of Web Services
JH Hausmann, R Heckel, M Lohmann
Proceedings. IEEE International Conference on Web Services, 2004., 324-331, 2004
852004
Rewriting logic semantics and verification of model transformations
A Boronat, R Heckel, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2009
842009
Style-based refinement of dynamic software architectures
L Baresi, R Heckel, S Thone, D Varró
Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004
822004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20