Volume 10, 2011
- Oscar Nierstrasz:
JOT needs you!

- Frank Piessens, Bart Jacobs, Gary T. Leavens:
Special Section on Formal Techniques for Java-like Programs.

- Giovanni Lagorio, Marco Servetto:
Strong exception-safety for checked and unchecked exceptions.
1: 1-20

- Jonas Braband Jensen, Lars Birkedal, Peter Sestoft:
Modular Verification of Linked Lists with Views via Separation Logic.
2: 1-20

- Conrad Bock, James Odell:
Ontological Behavior Modeling.
3: 1-36

- Francesca Arcelli Fontana, Marco Zanoni, Stefano Maggioni:
Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools.
4: 1-31

- Laurence Tratt, Martin Gogolla:
ICMT 2010 Special Section.

- Javier Troya, Antonio Vallecillo:
A Rewriting Logic Semantics for ATL.
5: 1-29

- Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.
6: 1-25

- Florian Heidenreich, Jan Kopcsek, Uwe Aßmann:
Safe Composition of Transformations.
7: 1-20

- Roy Grønmo, Birger Møller-Pedersen:
From UML 2 Sequence Diagrams to State Machines by Graph Transformation.
8: 1-22

Special section on Eighth International Conference on Generative Programming and Component Engineering (GPCE'09)
Articles
Last update Sat May 18 20:43:12 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page