Articles matching “Proper”

  1. Antonio Bucchiarone, Claudiu Ciumedean, Kemal Soysal, Nicola Dragoni, Václav Pech, MaGiC: a DSL Framework for Implementing Language Agnostic Microservice-based Web Applications, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
  2. Florian Sihler, Matthias Tichy, Jakob Pietron, One-Way Model Transformations in the Context of the Technology-Roadmapping Tool IRIS, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  3. Jan Willem Wittler, Timur Saglam, Thomas Kühn, Evaluating Model Differencing for the Consistency Preservation of State-based Views, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  4. Edvin Herac, Wesley K. G. Assunção, Luciano Marchezan, Rainer Haas, Alexander Egyed, A flexible operation-based infrastructure for collaborative model-driven engineering, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  5. Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel, Behavioral consistency in multi-modeling, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
  6. Nathalie Moreno, Alejandro Pérez-Vereda, Antonio Vallecillo, Managing Reputation in Collaborative Social Computing Applications, pp. 3:1-13, PDF, DOI. Volume 21, no. 3 (July 2022)
  7. Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta, Implementation Strategies for Mutable Value Semantics, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)
  8. Dimitri Racordon, Aurélien Coet, Didier Buchs, Toward a Lingua Franca for Memory Safety, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)
  9. Axel Curmi, Christian Colombo, Mark Vella, RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation, pp. 2:1-15, PDF, DOI. Volume 21, no. 2 ( 2022)
  10. Saheed Popoola, Xin Zhao, Jeff Gray, Evolution of Bad Smells in LabVIEW Graphical Models, pp. 1:1-15, PDF, DOI. Volume 20, no. 1 (January 2021)
  11. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo, Systematic Engineering of Mutation Operators, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  12. Robert Clarisó, Carlos A. González, Jordi Cabot, Incremental Verification of UML/OCL Models, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  13. Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller, Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL, pp. 3:1-14, PDF, DOI. Volume 19, no. 3 (October 2020)
  14. Alexandra Mazak, Sabine Wolny, Abel Gómez, Jordi Cabot, Manuel Wimmer, Gerti Kappel, Temporal Models on Time Series Databases, pp. 3:1-15, PDF, DOI. Volume 19, no. 3 (October 2020)
  15. Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale, Runtime Monitoring for Executable DSLs, pp. 6:1-23, PDF, DOI. Volume 19, no. 2 (July 2020)
  16. Benjamin Benni, Sébastien Mosser, Mathieu Acherc, Mathieu Paillart, Characterizing Black-box Composition Operators via Generated Tailored Benchmarks, pp. 7:1-20, PDF, DOI. Volume 19, no. 2 (July 2020)
  17. Lorenzo Addazi, Antonio Cicchetti, Systematic Evaluation of Model Comparison Algorithms using Model Generation, pp. 11:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
  18. Nisha Desai, Martin Gogolla, Assembling Scenario Patterns for Checking Model Behavior, pp. 19:1-27, PDF, DOI. Volume 19, no. 2 (July 2020)
  19. 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)
  20. 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)
  21. 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)
  22. 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)
  23. 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)
  24. 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)
  25. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  26. 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)
  27. 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)
  28. 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)
  29. 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)
  30. 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)
  31. Jan Vitek, Changing of the Guard, HTML, DOI. Volume 12, no. 2 (June 2013)
  32. 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)
  33. 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)
  34. 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)
  35. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  36. 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)
  37. Antonio Vallecillo, On JOT Special Sections, HTML, DOI. Volume 10, (2011)
  38. Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI. Volume 10, (2011)
  39. 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)
  40. John D. McGregor, Intentionality, pp. 7-13, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  41. 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)
  42. 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)
  43. 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)
  44. 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)
  45. 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)
  46. 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)
  47. 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)
  48. Viviana Bono, Jaroslaw D. M. Kúsmierek, Modularizing constructors, pp. 297-317, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  49. John Potter, Abdelsalam Shanneb, Incremental Lock Selection for Composite Objects, pp. 477-494, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  50. 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)
  51. 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)
  52. 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)
  53. Dave Thomas, Agile Artifacts - Documenting, Tracking and Reporting Trust The Source Luke!, pp. 25-31, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  54. 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)
  55. Mariela Cortés, Marcus Fontoura, Carlos Lucena, Framework Evolution Tool, pp. 101-124, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  56. Won Kim, On Assuring Software Quality and Curbing Software Development Cost, pp. 35-42, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  57. Mircea Trofin, John Murphy, Removing Redundant Boundary Checks in Contextual Composition Frameworks, pp. 63-82, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  58. 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)
  59. Gary T. Leavens, Not a Number of Floating Point Problems, pp. 75-83, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  60. John D. McGregor, Complexity, its in the mind of the beholder, pp. 31-37, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  61. Neal Glew, Jens Palsberg, Method Inlining, Dynamic Class Loading, and Type Soundness, pp. 33-53, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  62. 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)
  63. William N. Robinson, Greg Elofson, Goal Directed Analysis with Use Cases, pp. 125-142, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  64. Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  65. 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)
  66. James Odell, Between Order and Chaos, pp. 45-50, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  67. Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  68. 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)
  69. Bertrand Meyer, Proving Pointer Program Properties. Part 2: The Overall Object Structure, pp. 77-100, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  70. 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)
  71. Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview, pp. 87-108, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  72. 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)
  73. 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