Result 1 to 15 of 15 total
Combining termination criteria by isolating deletion. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 ‒ October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 203-217 (2010).
1
Combining termination criteria by isolating deletion (English)
ICGT, 203-217 (2010).
2
Compositionality of model transformations. (English)
Electron. Notes Theor. Comput. Sci. 236, 5-19 (2009).
3
Compositional verification of architectural refactorings. (English)
de Lemos, Rogério (ed.) et al., Architecting Dependable Systems VI. Berlin: Springer (ISBN 978-3-642-10247-9/pbk). Lecture Notes in Computer Science 5835. Journal Subline, 308-333 (2009).
4
io-port 05488274 Varró, Dániel;
Asztalos, Márk;
Bisztray, Dénes;
Boronat, Artur;
Dang, Duc-Hanh;
Geiß, Rubino;
Greenyer, Joel;
Van Gorp, Pieter;
Kniemeyer, Ole;
Narayanan, Anantha;
Rencis, Edgars;
Weinell, Erhard
Transformation of UML models to CSP: A case study for graph transformation tools. (English)
Schürr, Andy (ed.) et al., Applications of graph transformations with industrial relevance. Third international symposium, AGTIVE 2007, Kassel, Germany, October 10‒12, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-89019-5/pbk). Lecture Notes in Computer Science 5088, 540-565 (2008).
5
io-port 05488273 Taentzer, Gabriele;
Biermann, Enrico;
Bisztray, Dénes;
Bohnet, Bernd;
Boneva, Iovka;
Boronat, Artur;
Geiger, Leif;
Geiß, Rubino;
Horvath, Ákos;
Kniemeyer, Ole;
Mens, Tom;
Ness, Benjamin;
Plump, Detlef;
Vajk, Tamás
Generation of Sierpinski triangles: A case study for graph transformation tools. (English)
Schürr, Andy (ed.) et al., Applications of graph transformations with industrial relevance. Third international symposium, AGTIVE 2007, Kassel, Germany, October 10‒12, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-89019-5/pbk). Lecture Notes in Computer Science 5088, 514-539 (2008).
6
Verification of architectural refactorings: Rule extraction and tool support. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7‒13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 475-477 (2008).
7
Verification of architectural refactorings by rule extraction. (English)
Fiadeiro, José Luiz (ed.) et al., Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29‒April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78742-6/pbk). Lecture Notes in Computer Science 4961, 347-361 (2008).
8
Verification of architectural refactorings: rule extraction and tool support (English)
ECEASST 16 (2008).
9
Verification of architectural refactorings: rule extraction and tool support (English)
ICGT, 475-477 (2008).
10
Verification of architectural refactorings by rule extraction (English)
FASE, 347-361 (2008).
11
Compositional verification of architectural refactorings (English)
WADS, 308-333 (2008).
12
Rule-level verification of business process transformations using CSP (English)
ECEASST 6 (2007).
13
io-port 70451722 Taentzer, Gabriele;
Biermann, Enrico;
Bisztray, Dénes;
Bohnet, Bernd;
Boneva, Iovka;
Boronat, Artur;
Geiger, Leif;
Geiß, Rubino;
Horvath, Ákos;
Kniemeyer, Ole;
Mens, Tom;
Ness, Benjamin;
Plump, Detlef;
Vajk, Tamás
Generation of Sierpiński triangles: A case study for graph transformation tools (English)
AGTIVE, 514-539 (2007).
14
io-port 70451729 Varró, Dániel;
Asztalos, Márk;
Bisztray, Dénes;
Boronat, Artur;
Dang, Duc-Hanh;
Geiß, Rubino;
Greenyer, Joel;
Van Gorp, Pieter;
Kniemeyer, Ole;
Narayanan, Anantha;
Rencis, Edgars;
Weinell, Erhard
Transformation of UML models to CSP: A case study for graph transformation tools (English)
AGTIVE, 540-565 (2007).
15
Result 1 to 15 of 15 total