


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














