Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jot/jot10.bht:"
download as .bib file
@article{DBLP:journals/jot/BaggeDH11,
author = {Anya Helene Bagge and
Valentin David and
Magne Haveraaen},
title = {Testing with Axioms in {C++} 2011},
journal = {J. Object Technol.},
volume = {10},
pages = {10: 1--32},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a10},
doi = {10.5381/JOT.2011.10.1.A10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/BaggeDH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BockO11,
author = {Conrad Bock and
James Odell},
title = {Ontological Behavior Modeling},
journal = {J. Object Technol.},
volume = {10},
pages = {3: 1--36},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a3},
doi = {10.5381/JOT.2011.10.1.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BockO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/DiskinXC11,
author = {Zinovy Diskin and
Yingfei Xiong and
Krzysztof Czarnecki},
title = {From State- to Delta-Based Bidirectional Model Transformations: the
Asymmetric Case},
journal = {J. Object Technol.},
volume = {10},
pages = {6: 1--25},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a6},
doi = {10.5381/JOT.2011.10.1.A6},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/DiskinXC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FontanaZM11,
author = {Francesca Arcelli Fontana and
Marco Zanoni and
Stefano Maggioni},
title = {Using Design Pattern Clues to Improve the Precision of Design Pattern
Detection Tools},
journal = {J. Object Technol.},
volume = {10},
pages = {4: 1--31},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a4},
doi = {10.5381/JOT.2011.10.1.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FontanaZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/GronmoM11,
author = {Roy Gr{\o}nmo and
Birger M{\o}ller{-}Pedersen},
title = {From {UML} 2 Sequence Diagrams to State Machines by Graph Transformation},
journal = {J. Object Technol.},
volume = {10},
pages = {8: 1--22},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a8},
doi = {10.5381/JOT.2011.10.1.A8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/GronmoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/HauptMH11,
author = {Michael Haupt and
Stefan Marr and
Robert Hirschfeld},
title = {{CSOM/PL} - {A} Virtual Machine Product Line},
journal = {J. Object Technol.},
volume = {10},
pages = {12: 1--30},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a12},
doi = {10.5381/JOT.2011.10.1.A12},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/HauptMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/HeidenreichKA11,
author = {Florian Heidenreich and
Jan Kopcsek and
Uwe A{\ss}mann},
title = {Safe Composition of Transformations},
journal = {J. Object Technol.},
volume = {10},
pages = {7: 1--20},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a7},
doi = {10.5381/JOT.2011.10.1.A7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/HeidenreichKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/JensenBS11,
author = {Jonas Braband Jensen and
Lars Birkedal and
Peter Sestoft},
title = {Modular Verification of Linked Lists with Views via Separation Logic},
journal = {J. Object Technol.},
volume = {10},
pages = {2: 1--20},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a2},
doi = {10.5381/JOT.2011.10.1.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/JensenBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LagorioS11,
author = {Giovanni Lagorio and
Marco Servetto},
title = {Strong exception-safety for checked and unchecked exceptions},
journal = {J. Object Technol.},
volume = {10},
pages = {1: 1--20},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a1},
doi = {10.5381/JOT.2011.10.1.A1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/LagorioS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LanoR11,
author = {Kevin Lano and
Shekoufeh Kolahdouz Rahimi},
title = {Slicing Techniques for {UML} Models},
journal = {J. Object Technol.},
volume = {10},
pages = {11: 1--49},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a11},
doi = {10.5381/JOT.2011.10.1.A11},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LanoR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/McGacheyHM11,
author = {Phil McGachey and
Antony L. Hosking and
J. Eliot B. Moss},
title = {Class Transformations for Transparent Distribution of Java Applications},
journal = {J. Object Technol.},
volume = {10},
pages = {9: 1--35},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a9},
doi = {10.5381/JOT.2011.10.1.A9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/McGacheyHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Nguyen11,
author = {Nicholas Nguyen},
title = {SPath: an extensible query-language for Scala},
journal = {J. Object Technol.},
volume = {10},
pages = {13: 1--37},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a13},
doi = {10.5381/JOT.2011.10.1.A13},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Nguyen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Nierstrasz11,
author = {Oscar Nierstrasz},
title = {{JOT} needs you!},
journal = {J. Object Technol.},
volume = {10},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.e1},
doi = {10.5381/JOT.2011.10.1.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Nierstrasz11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/PiessensJL11,
author = {Frank Piessens and
Bart Jacobs and
Gary T. Leavens},
title = {Special Section on Formal Techniques for Java-like Programs},
journal = {J. Object Technol.},
volume = {10},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.e2},
doi = {10.5381/JOT.2011.10.1.E2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/PiessensJL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/TrattG11,
author = {Laurence Tratt and
Martin Gogolla},
title = {{ICMT} 2010 Special Section},
journal = {J. Object Technol.},
volume = {10},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.e3},
doi = {10.5381/JOT.2011.10.1.E3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/TrattG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/TroyaV11,
author = {Javier Troya and
Antonio Vallecillo},
title = {A Rewriting Logic Semantics for {ATL}},
journal = {J. Object Technol.},
volume = {10},
pages = {5: 1--29},
year = {2011},
url = {https://doi.org/10.5381/jot.2011.10.1.a5},
doi = {10.5381/JOT.2011.10.1.A5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/TroyaV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-04 18:58 CEST from data curated 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:
