History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

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).
WorldCat.org
1
Combining termination criteria by isolating deletion (English)
ICGT, 203-217 (2010).
WorldCat.org
2
Compositionality of model transformations. (English)
Electron. Notes Theor. Comput. Sci. 236, 5-19 (2009).
WorldCat.org
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).
WorldCat.org
4
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).
WorldCat.org
5
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
8
Verification of architectural refactorings: rule extraction and tool support (English)
ECEASST 16 (2008).
WorldCat.org
9
Verification of architectural refactorings: rule extraction and tool support (English)
ICGT, 475-477 (2008).
WorldCat.org
10
Verification of architectural refactorings by rule extraction (English)
FASE, 347-361 (2008).
WorldCat.org
11
Compositional verification of architectural refactorings (English)
WADS, 308-333 (2008).
WorldCat.org
12
Rule-level verification of business process transformations using CSP (English)
ECEASST 6 (2007).
WorldCat.org
13
Transformation of UML models to CSP: A case study for graph transformation tools (English)
AGTIVE, 540-565 (2007).
WorldCat.org
15
first | previous | 1 | next | last

Result 1 to 15 of 15 total

Valid XHTML 1.0 Transitional Valid CSS!