Articles matching “Proper”

  1. Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Mickael Clavreul, Efficient ATL Incremental Transformations, pp. 2:1-17, PDF, DOI. Volume 18, no. 3 (July 2019)
  2. Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio, Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report, pp. 1:1-22, PDF, DOI. Volume 18, no. 2 (July 2019)
  3. Chaima Boufaied, Domenico Bianculli, Lionel Briand, A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations, pp. 15:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  4. Miguel Oliveira e Silva, External Dispatch: Yet Another Object-Oriented Single and Multiple Dispatch Mechanism, pp. 1:1-18, PDF, DOI. Volume 16, no. 2 (April 2017)
  5. James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens, On principles of Least Change and Least Surprise for bidirectional transformations, pp. 3:1-31, PDF, DOI. Volume 16, no. 1 (February 2017)
  6. Reinhold Plösch, Johannes Bräuer, Christian Körner, Matthias Saft, MUSE: A Framework for Measuring Object-Oriented Design Quality, pp. 2:1-29, PDF, DOI. Volume 15, no. 4 (August 2016)
  7. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  8. Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy, Formal Verification Techniques for Model Transformations: A Tridimensional Classification , pp. 1:1-43, PDF, DOI. Volume 14, no. 3 (August 2015)
  9. Nick Papoulias, Noury Bouraqadi, Luc Fabresse, Stéphane Ducasse, Marcus Denker, Mercury: Properties and Design of a Remote Debugging Solution using Reflection, pp. 1:1-36, PDF, DOI. Volume 14, no. 2 (May 2015)
  10. Toufik Benouhiba, Amina Boudjedir, On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach, pp. 1:1-32, PDF, DOI. Volume 13, no. 6 (December 2014)
  11. Tim Felgentreff, Alan Borning, Robert Hirschfeld, Specifying and Solving Constraints on Object Behavior, pp. 1:1-38, PDF, DOI. Volume 13, no. 4 (September 2014)
  12. Zoe Zarwin, Marija Bjeković, Jean-Marie Favre, Jean-Sébastien Sottet, Henderik A. Proper, Natural Modelling, pp. 4:1-36, PDF, DOI. Volume 13, no. 3 (July 2014)
  13. Jan Vitek, Changing of the Guard, HTML, DOI. Volume 12, no. 2 (June 2013)
  14. S.G. Ganesh, Tushar Sharma, Girish Suryanarayana, Towards a Principle-based Classification of Structural Design Smells, pp. 1:1-29, PDF, DOI. Volume 12, no. 2 (June 2013)
  15. Glenn Callow, Roy Kalawsky, A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming, pp. 1:1-43, PDF, DOI. Volume 12, no. 1 (January 2013)
  16. Phillip Heidegger, Peter Thiemann, JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript, pp. 6:1-29, PDF, DOI. Volume 11, no. 1 (April 2012)
  17. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  18. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case, pp. 6:1-25, PDF, DOI. Volume 10, (2011)
  19. Antonio Vallecillo, On JOT Special Sections, HTML, DOI. Volume 10, (2011)
  20. Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI. Volume 10, (2011)
  21. Gholamreza Shahmohammadi, Saeed Jalili, Seyed Mohammad Hossein Hasheminejad, Identification of System Software Components Using Clustering Approach, pp. 77-98, PDF, DOI. Volume 9, no. 6 (November 2010)
  22. John D. McGregor, Intentionality, pp. 7-13, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  23. Abdelkrim Amirat, Mourad Chabane Oussalah, First-Class Connectors to Support Systematic Construction of Hierarchical Software Architecture, pp. 107-130, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  24. Gonzalo Génova, María Cruz Valiente, Mónica Marrero, On the difference between analysis and design, and why it is relevant for the interpretation of models in Model Driven Engineering, pp. 107-127, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  25. Linda Badri, Mourad Badri, Alioune Badara Gueye, Revisiting Class Cohesion: An empirical investigation on several systems, pp. 55-75, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  26. Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga, First Person Shooter Game, pp. 43-58, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  27. Claude-Joachim Hamann, Steffen Zschaler, Scheduling Real-Time Components Using Jitter-Constrained Streams, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  28. K.K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchika Malhotra, Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems, pp. 127-141, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  29. Stephan Herrmann, Marco Mosconi, Integrating Object Teams and OSGi: Joint Efforts for Superior Modularity, pp. 105-125, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  30. Viviana Bono, Jaroslaw D. M. Kúsmierek, Modularizing constructors, pp. 297-317, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  31. John Potter, Abdelsalam Shanneb, Incremental Lock Selection for Composite Objects, pp. 477-494, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  32. Thomas Cottenier, Aswin van den Berg, Tzilla Elrad, Motorola WEAVR: Aspect and model-Driven Engineering, pp. 51-88, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
  33. Farida Mostefaoui, Julie Vachon, Design-Level Detection of Interactions in Aspect-UML Models Using Alloy, pp. 137-165, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
  34. Jan Schaefer, Arnd Poetzsch-Heffter, A Parameterized Type System for Simple Loose Ownership Domains, pp. 71-100, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  35. Dave Thomas, Agile Artifacts - Documenting, Tracking and Reporting Trust The Source Luke!, pp. 25-31, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  36. C. Anantaram, A Framework to specify Declarative Rules on Objects, Attributes and Associations in the object model, pp. 91-106, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  37. Mariela Cortés, Marcus Fontoura, Carlos Lucena, Framework Evolution Tool, pp. 101-124, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  38. Won Kim, On Assuring Software Quality and Curbing Software Development Cost, pp. 35-42, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  39. Mircea Trofin, John Murphy, Removing Redundant Boundary Checks in Contextual Composition Frameworks, pp. 63-82, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  40. Abdelouahed Gherbi, Ferhat Khendek, UML Profiles for Real-Time Systems and their Applications, pp. 149-169, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  41. Gary T. Leavens, Not a Number of Floating Point Problems, pp. 75-83, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  42. John D. McGregor, Complexity, its in the mind of the beholder, pp. 31-37, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  43. Neal Glew, Jens Palsberg, Method Inlining, Dynamic Class Loading, and Type Soundness, pp. 33-53, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  44. Charles Ashbacher, Intellectual Property Law for Engineers and Scientists by Howard B. Rockman, pp. 183-184, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  45. William N. Robinson, Greg Elofson, Goal Directed Analysis with Use Cases, pp. 125-142, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  46. Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  47. Anthony J.H. Simons, The Theory of Classification, Part 11: Adding Class Types to Object Implementations, pp. 7-19, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  48. James Odell, Between Order and Chaos, pp. 45-50, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  49. Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  50. James Odell, H. Van Dyke Parunak, Mitchell Fleischer, Modeling Agents and their Environment: The Communication Environment, pp. 39-52, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  51. Bertrand Meyer, Proving Pointer Program Properties. Part 2: The Overall Object Structure, pp. 77-100, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  52. James Odell, H. Van Dyke Parunak, Mitchell Fleischer, Sven Brueckner, Modeling Agents and their Environment: The Physical Environment, pp. 43-51, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  53. Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview, pp. 87-108, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  54. José Alberto Rodrigues Pereira Sardinha, Paula Clark Ribeiro, Ruy Luiz Milidiú, Carlos JoséPereira de Lucena, An Object-Oriented Framework for Building Software Agents, pp. 85-97, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
  55. Peter Horan, Eiffel Assertions and the External Structure of Classes and Objects, pp. 105-118, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact