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
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
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
A Rewriting Logic Semantics for ATL. 5: 1-29 - Zinovy Diskin, Yingfei Xiong
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
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.
last updated on 2024-12-23 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: