About JOT
Mission
The Journal of Object Technology (JOT) is a peer-reviewed, free and open-access journal dedicated to the timely publication of previously unpublished research articles, surveys, tutorials, and technical notes on all aspects of object technology.
Current Volume
Volume 10, (2011)
Editorial
- Oscar Nierstrasz, JOT needs you!, HTML, DOI.
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
- Giovanni Lagorio, Marco Servetto, Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI.
- Jonas Braband Jensen, Lars Birkedal, Peter Sestoft, Modular Verification of Linked Lists with Views via Separation Logic, pp. 2:1-20, PDF, DOI.
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 ICMT 2010
Editorial
- Laurence Tratt, Martin Gogolla, ICMT 2010 Special Section, HTML, DOI.
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
- Bernd Fischer, GPCE 2009 Special Section, HTML, DOI.
Articles
- Phil McGachey, Antony L. Hosking, J. Eliot B. Moss, Class Transformations for Transparent Distribution of Java Applications, pp. 9:1-35, PDF, DOI.
- Anya Helene Bagge, Valentin David, Magne Haveraaen, Testing with Axioms in C++ 2011, pp. 10:1-32, PDF, DOI.
Editorial
- Antonio Vallecillo, On JOT Special Sections, HTML, DOI.
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.