Volume 10, (2011)
Editorial
Special section on Formal Techniques for Java-like Programs
Editorial
- Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI.
Articles
Articles
- Conrad Bock, James Odell, Ontological Behavior Modeling, pp. 3:1-36, PDF, DOI.
- Francesca Arcelli Fontana, Marco Zanoni, Stefano Maggioni, Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools, pp. 4:1-31, PDF, DOI.
Special section on International Conference on Model Transformation 2010
Editorial
Articles
- Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI.
- Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case, pp. 6:1-25, PDF, DOI.
- Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI.
- Roy Grønmo, Birger Møller-Pedersen, From UML 2 Sequence Diagrams to State Machines by Graph Transformation, pp. 8:1-22, PDF, DOI.
Special section on Eighth International Conference on Generative Programming and Component Engineering (GPCE'09)
Editorial
Articles
Editorial
Columns
- Alexandre Bergel, TOOLS Europe 2011 — Day 1, HTML, DOI.
- Alexandre Bergel, TOOLS Europe 2011 — Day 2, HTML, DOI.
Articles
- Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI.
- Michael Haupt, Stefan Marr, Robert Hirschfeld, CSOM/PL — A Virtual Machine Product Line, pp. 12:1-30, PDF, DOI.
- Nicholas Nguyen, SPath: an extensible query-language for Scala, pp. 13:1-37, PDF, DOI.