Segui
Reiko Heckel
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester
Email verificata su mcs.le.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
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
7471997
Graph grammars with negative application conditions
A Habel, R Heckel, G Taentzer
Fundamenta Informaticae 26 (3-4), 287-313, 1996
4811996
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
4301997
Confluence of typed attributed graph transformation systems
R Heckel, JM Küster, G Taentzer
International Conference on Graph Transformation, 161-176, 2002
3372002
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
G Engels, JH Hausmann, R Heckel, S Sauer
≪ UML≫ 2000—The Unified Modeling Language: Advancing the Standard Third …, 2000
2722000
Graph transformation in a nutshell
R Heckel
Electronic notes in theoretical computer science 148 (1), 187-198, 2006
2662006
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
2442001
Tutorial introduction to graph transformation: A software engineering perspective
L Baresi, R Heckel
International Conference on Graph Transformation, 402-429, 2002
2362002
Ensuring consistency of conditional graph grammars-a constructive approach
R Heckel, A Wagner
Electronic Notes in Theoretical Computer Science 2, 118-126, 1995
2301995
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
2252003
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation
JH Hausmann, R Heckel, G Taentzer
Proceedings of the 24th international conference on software engineering …, 2002
2052002
Towards contract-based testing of web services
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 116, 145-156, 2005
1812005
Rule-based specification of behavioral consistency based on the UML meta-model
G Engels, R Heckel, JM Küster
≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts …, 2001
1712001
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005
1462005
Style-based modeling and refinement of service-oriented architectures: a graph transformation-based approach
L Baresi, R Heckel, S Thöne, D Varr´ o
Software & Systems Modeling 5, 187-207, 2006
1312006
Towards model-driven testing
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 82 (6), 33-43, 2003
1172003
Consistency-preserving model evolution through transformations
G Engels, R Heckel, JM Küster, L Groenewegen
≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002
1122002
Model-based discovery of Web Services
JH Hausmann, R Heckel, M Lohmann
Proceedings. IEEE International Conference on Web Services, 2004., 324-331, 2004
972004
Process modeling using UML
G Engels, A Förster, R Heckel, S Thöne
Process‐Aware Information Systems: Bridging People and Software through …, 2005
962005
Compositional verification of reactive systems specified by graph transformation
R Heckel
International Conference on Fundamental Approaches to Software Engineering …, 1998
931998
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20