Journal of Object Technology, Volume 10

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 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