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

• 
  Phil McGachey, Antony L. Hosking, J. Eliot B. Moss: Class Transformations for Transparent Distribution of Java Applications. 9: 1-35
• 
  Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with Axioms in C++ 2011. 10: 1-32

• 
  Kevin Lano, Shekoufeh Kolahdouz Rahimi: Slicing Techniques for UML Models. 11: 1-49
• 
  Michael Haupt, Stefan Marr, Robert Hirschfeld: CSOM/PL - A Virtual Machine Product Line. 12: 1-30
• 
  Nicholas Nguyen: SPath: an extensible query-language for Scala. 13: 1-37

last updated on Sat May 18 06:25:09 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page