Articles matching “Ara”

  1. David Jaeger, Adam Lencses, Martin Fleck, Philip Langer, Dominik Bork, A Model Management Framework for Next-Generation Web-based Modeling Tools, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
  2. Haitam El Hayani, Benoit Combemale, Olivier Barais, Steffen Zschaler, Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes, pp. 2:1-13, PDF, DOI. Volume 24, no. 2 (May 2025)
  3. Raghavendran Gunasekaran, Boudewijn Haverkort, Loes Kruger, Behavioral analysis of a digital twin using logging and model learning, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
  4. Georg Hinkel, Bodo Igler, An internal DSL for graphical modeling tools based on GLSP, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
  5. Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt, Methodical and Formally Verified Model-Driven Architecture Refactoring, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
  6. Roland Wismüller, Damian Ludwig, Felix Breitweiser, Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities, pp. 1:1-36, PDF, DOI. Volume 23, no. 1 ( 2024)
  7. Manfred Broy, Bran Selić, Specifying and Composing Layered Architectures, pp. 1:1-24, PDF, DOI. Volume 23, no. 1 ( 2024)
  8. MohammadAmin Zaheri, Michalis Famelis, Eugene Syriani, Catch Me If You Can: Detecting Model-Data Inconsistencies in Low-Code Applications, pp. 1-20, PDF, DOI. Volume 23, no. 1 ( 2024)
  9. Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  10. Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher, Olivier Barais, An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  11. Nico Jansen, Jérôme Pfeiffer, Bernhard Rumpe, David Schmalzing, Andreas Wortmann, Modeling Variability of Hierarchical Component-Based Systems, pp. 1-15, PDF, DOI. Volume 23, no. 3 (July 2024)
  12. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall, Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation, pp. 2:1-16, PDF, DOI. Volume 23, no. 2 (March 2024)
  13. Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty, VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System, pp. 1-12, PDF, DOI. Volume 23, no. 2 (March 2024)
  14. 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)
  15. Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer, Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests, pp. 1:1-19, PDF, DOI. Volume 22, no. 1 ( 2023)
  16. Manouchehr Zadahmad Jafarlou, Eugene Syriani, Omar Alam, From two-way to three-way: domain-specific model differencing and conflict detection, pp. 1:1-29, PDF, DOI. Volume 22, no. 1 ( 2023)
  17. José A. Barriga, José M. Chaves-González, Arturo Barriga, Pablo Alonso, Pedro J. Clemente, Simulate IoT Towards the Cloud-to-Thing Continuum Paradigm for Task Scheduling Assessments, pp. 1:1-31, PDF, DOI. Volume 22, no. 1 ( 2023)
  18. Rubén Campos-López, Esther Guerra, Juan de Lara, Alessandro Colantoni, Antonio Garmendia, Model-Driven Engineering for Augmented Reality, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
  19. 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)
  20. Javier Criado, Luis Iribarne, Reusability and discovery models in software systems: a systematic literature review, pp. 4:1-17, PDF, DOI. Volume 21, no. 4 (October 2022)
  21. Robert Clarisó, Lola Burgueño, Jordi Cabot, Managing Design-time Uncertainty in OCL Expressions, pp. 4:1-10, PDF, DOI. Volume 21, no. 4 (October 2022)
  22. Max Härtwig, Sebastian Götz, Mobile Modeling with Real-Time Collaboration Support, pp. 3:1-15, PDF, DOI. Volume 21, no. 3 (July 2022)
  23. Sébastien Mosser, Corinne Pulgar, Vladimir Reinhar, Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners, pp. 3:1-15, PDF, DOI. Volume 21, no. 3 (July 2022)
  24. Nils Weidmann, Enes Yigitbas, Anthony Anjorin, Ankita Srivastava, Jane Jose, Human-in-the-Loop Large-Scale Model Transformations with the VICToRy Debugger, pp. 3:1-15, PDF, DOI. Volume 21, no. 3 (July 2022)
  25. Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe, Preface to the JOT special issue on ECOOP 2021: selected workshop papers, PDF, DOI. Volume 21, no. 2 ( 2022)
  26. Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong, Threaded Code Generation with a Meta-Tracing JIT Compiler, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)
  27. 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)
  28. Mahmoud El Hamlaoui, Sophie Ebersold, Saloua Bennani, Adil Anwar, Taoufiq Dkaki, Mahmoud Nassar, Bernard Coulette, A Model-Driven Approach to align Heterogeneous Models of a Complex System, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
  29. Nichlas Bjørndal, Luiz Jonatã Pires de Araújo, Antonio Bucchiarone, Nicola Dragoni, Manuel Mazzara, Schahram Dustdar, Benchmarks and performance metrics for assessing the migration to microservice-based architectures, pp. 2:1-17, PDF, DOI. Volume 20, no. 2 ( 2021)
  30. Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori, A protoype-based approach to object evolution, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
  31. Bran Bran Selić, On the Precise Semantics of the Software Layering Design Pattern, pp. 2:1-13, PDF, DOI. Volume 20, no. 2 ( 2021)
  32. Angela Barriga, Lorenzo Bettini, Ludovico Iovino, Adrian Rutle, Rogardt Heldal, Addressing the trade off between smells and quality when refactoring class diagrams, pp. 1:1-15, PDF, DOI. Volume 20, no. 3 (June 2021)
  33. Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio, Uncertainty management with extra-functional qualities in multi-artefact co-evolution, pp. 2:1-15, PDF, DOI. Volume 20, no. 3 (June 2021)
  34. Enxhi Ferko, Alessio Bucaioni, Jan Carlson, Zulqarnain Haider, Automatic Generation of Configuration Files: an Experience Report from the Railway Domain, pp. 4:1-15, PDF, DOI. Volume 20, no. 3 (June 2021)
  35. Katharina Juhnke, Alexander Nikic, Matthias Tichy, Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs, pp. 5:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
  36. Zahra Varaminybahnemiry, Jessie Galasso, Houari Sahraoui, Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases, pp. 9:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
  37. Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo, Multi-Model Evolution through Model Repair, pp. 1:1-25, PDF, DOI. Volume 20, no. 1 (January 2021)
  38. Bran Selic, The Forgotten Interfaces: A Critique of Component-based Models of Computing, pp. 3:1-8, PDF, DOI. Volume 19, no. 3 (October 2020)
  39. Achim Brucker, Frédéric Tuong, Burkhart Wolff, Model Transformation as Conservative Theory-Transformation, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  40. 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)
  41. Fiona Polack, Kieran Alden, On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  42. Hans-Jörg Kreowski, Sabine Kuske, Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units, pp. 3:1-14, PDF, DOI. Volume 19, no. 3 (October 2020)
  43. Tony Clark, A Meta-Circular Basis for Model-Based Language Engineering, pp. 3:1-18, PDF, DOI. Volume 19, no. 3 (October 2020)
  44. Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra, Java Bytecode Verification with OCL Why, How and Whenc, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  45. Hoàng Nguyen Phuoc Bao, Manuel Clavel, Model-based Characterization of fine-grained Access Control Authorization for SQL Queries, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  46. Azzam Maraee, Eliran Nachmani, Arnon Sturm, Constraints Specification Via Tool Support: A Controlled Experiment, pp. 3:1-18, PDF, DOI. Volume 19, no. 3 (October 2020)
  47. Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale, Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages, pp. 1:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  48. Rebekka Wohlrab, Anthony Anjorin, Arjya Shankar Mishra, What do Users Expect of Bidirectional Transformations?, pp. 4:1-19, PDF, DOI. Volume 19, no. 2 (July 2020)
  49. 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)
  50. Stefan Tomaszek, Lars Fritsche, Andy Schürr, Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques, pp. 9:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  51. Pierre Kelsen, Qin Ma, Christian Glodt, A Lightweight Modeling Approach Based on Functional Decomposition, pp. 15:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
  52. Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo, GraphQL Federation: A Model-Based Approach, pp. 18:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  53. Sebastian Ehmes, Lars Fritsche, Andy Schürr, SimSG: Rule-based Simulation using Stochastic Graph Transformation, pp. 1:1-17, PDF, DOI. Volume 18, no. 3 (July 2019)
  54. Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler, Manuel Wimmer, Searching for Optimal Models: Comparing Two Encoding Approaches, pp. 6:1-22, PDF, DOI. Volume 18, no. 3 (July 2019)
  55. 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)
  56. Nils Kaminski, Evgeny Kusmenko, Bernhard Rumpe, Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems, pp. 2:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  57. Sina Madani, Dimitris Kolovos, Richard F. Paige, Towards Optimisation of Model Queries: A Parallel Execution Approach, pp. 3:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  58. Sara Pérez-Soler, Mario González-Jiménez, Esther Guerra, Juan de Lara, Towards Conversational Syntax for Domain-Specific Languages using Chatbots, pp. 5:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  59. Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson, Lightweight Consistency Checking for Agile Model-Based Development in Practice, pp. 11:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  60. Amin Oueslati, Philippe Cuenot, Julien Deantoni, Christophe Moreno, System Based Interference Analysis in Capella, pp. 14:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  61. Nour Aboud, Gabriela Arévalo, Olivier Bendavid, Jean-Rémy Falleri, Nicolas Haderer, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier, Building Hierarchical Component Directories, pp. 2:1-37, PDF, DOI. Volume 18, no. 1 (2019)
  62. Zeinab Iranmanesh, Mehran S. Fallah, Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java, pp. 1:1-31, PDF, DOI. Volume 16, no. 3 (June 2017)
  63. João Araújo, Nelly Condori Fernandez, Nelly Bencomo, Toacy Oliveira, Jose Luis de La Vara, Isabel Brito, Miguel Goulão, Santiago Matalonga, Special Section on the 18th Ibero-American Conference on Software Engineering (CIBSE'15), HTML, DOI. Volume 15, no. 3 (June 2016)
  64. Colin Atkinson, Philipp Bostan, Dirk Draheim, Foundational MDA Patterns for Service-Oriented Computing , pp. 1:1-30, PDF, DOI. Volume 14, no. 1 (April 2015)
  65. Naranjo David, Mario Sánchez, Jorge Villalobos, Evaluating the capabilities of Enterprise Architecture modeling tools for Visual Analysis, pp. 3:1-32, PDF, DOI. Volume 14, no. 1 (April 2015)
  66. 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)
  67. 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)
  68. Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara, Extreme Modelling (XM) 2012 Special Section, HTML, DOI. Volume 13, no. 3 (July 2014)
  69. Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
  70. Paola Gómez, Mario Sánchez, Hector Florez, Jorge Villalobos, An approach to the co-creation of models and metamodels in Enterprise Architecture Projects, pp. 2:1-29, PDF, DOI. Volume 13, no. 3 (July 2014)
  71. 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)
  72. Conrad Bock, Raphael Barbau, Anantha Narayanan, BPMN Profile for Operational Requirements , pp. 2:1-35, PDF, DOI. Volume 13, no. 2 (June 2014)
  73. 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)
  74. Malte Appeltauer, Robert Hirschfeld, Jens Lincke, Declarative Layer Composition with The JCop Programming Language, pp. 4:1-37, PDF, DOI. Volume 12, no. 2 (June 2013)
  75. Mariano Martinez Peck, Noury Bouraqadi, Marcus Denker, Stéphane Ducasse, Luc Fabresse, Marea: An Efficient Application-Level Object Graph Swapper, pp. 2:1-30, PDF, DOI. Volume 12, no. 1 (January 2013)
  76. Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque, A Solution for Concurrent Versioning of Metamodels and Models, pp. 1:1-32, PDF, DOI. Volume 11, no. 3 (October 2012)
  77. Ludovico Iovino, Alfonso Pierantonio, Ivano Malavolta, On the Impact Significance of Metamodel Evolution in MDE, pp. 3:1-33, PDF, DOI. Volume 11, no. 3 (October 2012)
  78. Andrea Corradi, Marco Servetto, Elena Zucca, DeepFJig — Modular composition of nested classes, pp. 1:1-42, PDF, DOI. Volume 11, no. 2 (August 2012)
  79. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Werner Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar, Surveying Rule Inheritance in Model-to-Model Transformation Languages, pp. 3:1-46, PDF, DOI. Volume 11, no. 2 (August 2012)
  80. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Flexible Model-to-Model Transformation Templates: An Application to ATL, pp. 4:1-28, PDF, DOI. Volume 11, no. 2 (August 2012)
  81. Francesca Arcelli Fontana, Pietro Braione, Marco Zanoni, Automatic detection of bad smells in code: An experimental assessment, pp. 5:1-38, PDF, DOI. Volume 11, no. 2 (August 2012)
  82. Alessandro Murgia, Roberto Tonelli, Giulio Concas, Michele Marchesi, Steve Counsell, Parameter-based refactoring and the relationship with fan-in/fan-out coupling, pp. 7:1-24, PDF, DOI. Volume 11, no. 2 (August 2012)
  83. Joseph (Yossi) Gil, Keren Lenza, Keyword- and Default- Parameters in JAVA, pp. 1:1-17, PDF, DOI. Volume 11, no. 1 (April 2012)
  84. Jannik Laval, Jean-Rémy Falleri, Philippe Vismara, Stéphane Ducasse, Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems, pp. 4:1-24, PDF, DOI. Volume 11, no. 1 (April 2012)
  85. Giovanni Lagorio, Marco Servetto, Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI. Volume 10, (2011)
  86. Jonas Braband Jensen, Lars Birkedal, Peter Sestoft, Modular Verification of Linked Lists with Views via Separation Logic, pp. 2:1-20, PDF, DOI. Volume 10, (2011)
  87. 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)
  88. Michael Haupt, Stefan Marr, Robert Hirschfeld, CSOM/PL — A Virtual Machine Product Line, pp. 12:1-30, PDF, DOI. Volume 10, (2011)
  89. Nicholas Nguyen, SPath: an extensible query-language for Scala, pp. 13:1-37, PDF, DOI. Volume 10, (2011)
  90. Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, Computational Abstraction Steps, pp. 1-23, PDF, DOI. Volume 9, no. 6 (November 2010)
  91. Mehdi Adda, Hamid Mcheick, Hafedh Mili, Formal Model and DSL for Separation of Concerns based on Views, pp. 25-50, PDF, DOI. Volume 9, no. 6 (November 2010)
  92. Claudine A. Allen, Ezra K. Mugisa, Improving Learning Object Reuse Through OOD: A Theory of Learning Objects, pp. 51-75, PDF, DOI. Volume 9, no. 6 (November 2010)
  93. Tushar Sharma, Dharanipragada Janakiram, Inferring design patterns using the ReP graph, pp. 95-110, PDF, DOI. Volume 9, no. 5 (September 2010)
  94. Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp, Extending Scala with Database Query Capability, pp. 45-68, PDF, DOI. Volume 9, no. 4 (July 2010)
  95. Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy, Extracting State Models for Black-Box Software Components, pp. 79-103, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  96. John D. McGregor, Attached Processes, pp. 7-16, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  97. Mahesh H. Dodani, ‘Architected’ Cloud Solutions Revealed, pp. 27-36, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  98. Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  99. Richard Wiener, Darwin's World Simulation in C#: The Model/View Classes, pp. 75-87, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  100. Barath Kumar, Juergen Jasperneite, UML Profiles for Modeling Real-Time Communication Protocols, pp. 178-198, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  101. J. Leslie Keedy, Gisela Menger, Christian Heinlein, Covariantly Adjusting Co-Types in Timor, pp. 35-55, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  102. Harold Fortuin, A Modern, Compact Implementation of the Parameterized Factory Design Pattern, pp. 57-63, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  103. Sven Apel, Christian Kästner, Virtual Separation of Concerns - A Second Chance for Preprocessors, pp. 59-78, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  104. Sven Apel, Christian Kästner, An Overview of Feature-Oriented Software Development, pp. 49-84, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  105. Marcin Zalewski, Sibylle Schupp, A Semantic Definition of Separate Type Checking in C++ with Concepts, pp. 105-132, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  106. Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino, Securing Java with Local Policies, pp. 5-32, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  107. John Boyland, An Operational Semantics including ‘Volatile’ for Safe Concurrency, pp. 33-53, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  108. Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  109. R. Sridaran, G. Padmavathi, K. Iyakutti, A Survey of Design Pattern Based Web Applications, pp. 61-70, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  110. Harshavardhan Jegadeesan, Sundar Balasubramaniam, A Model-driven Approach to Service Policies, pp. 163-186, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  111. Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga, First Person Shooter Game, pp. 93-105, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  112. 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)
  113. Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin, UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs), pp. 135-157, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  114. Constantin Serban, Shmuel Tyszberowicz, Yishai A. Feldman, Naftaly Minsky, Developing Law-Governed Systems Using Aspects, pp. 25-46, PDF, HTML, DOI. Volume 7, no. 9 (December 2008)
  115. John D. McGregor, Agile Software Product Lines, Deconstructed, pp. 7-19, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  116. Douglas Lyon, The μ-law CODEC, pp. 21-34, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  117. Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam, A Matching Approach for Object-Oriented Formal Specifications, pp. 139-153, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  118. Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar, cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems, pp. 187-207, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  119. Mahesh H. Dodani, Applications At Your Service, pp. 33-38, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
  120. Kurt Nørmark, Bent Thomsen, Lone Leth Thomsen, Mapping and Visiting in Functional and Object-Oriented Programming, pp. 75-107, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
  121. 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)
  122. Miguel Garcia, Efficient Integrity Checking for Essential MOF + OCL in Software Repositories, pp. 101-119, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  123. Vincent Cremet, Philippe Altherr, Adding Type Constructor Parameterization to Java, pp. 25-65, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  124. Chieri Saito, Atsushi Igarashi, The Essence of Lightweight Family Polymorphism, pp. 67-99, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  125. Sivamuni Kalaimagal, Rengaramanujam Srinivasan, A (TRUSTAD) Component Nomenclature, pp. 159-173, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  126. Lorenzo Bettini, Sara Capecchi, Elena Giachino, Featherweight Wrap Java: wrapping objects and methods, pp. 5-29, PDF, HTML, DOI. Volume 7, no. 2 (February 2008)
  127. Walter Cazzola, Alessandro Marchetto, Fondazione Bruno Kessler, AOP-HiddenMetrics: Separation, Extensibility and Adaptability in SW Measurement, pp. 53-68, PDF, HTML, DOI. Volume 7, no. 2 (February 2008)
  128. Dave Thomas, Next Generation IT — Computing In the Cloud Life after Jurassic OO Middleware, pp. 27-33, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  129. 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)
  130. Luca Vetti Tagliati, Carlo Caloro, UML and Object Oriented Drama, pp. 85-101, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  131. Bourouis Abdelhabib, Belattar Brahim, JAPROSIM: A Java framework for Process Interaction Discrete Event Simulation., pp. 103-119, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  132. Sebastien Saudrais, Olivier Barais, Laurence Duchien, Noel Plouzeau, From formal specifications to QoS monitors, pp. 1-20, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  133. Changzhou Wang, Haiqin Wang, Alice Chen, Rodolfo Santiago, Quality of Service Contract Specification, Establishment, and Monitoring for Service Level Management, pp. 25-44, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  134. Assel Akzhalova, Assel Altayeva, Nurzhan Duzbayev, Model Driven Prediction and Control, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  135. 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)
  136. Jing Dong, Sheng Yang, Yongtao Sun, A Classification of Design Pattern Evolutions, pp. 95-109, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  137. Phillip J. Brooke, Richard F. Paige, Exceptions in Concurrent Eiffel, pp. 111-126, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  138. Sofie Goderis, Dirk Deridder, Ellen Van Paesschen, Theo D'Hondt, DEUCE : A Declarative Framework for Extricating User Interface Concerns, pp. 87-104, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  139. Jakob Henriksson, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann, Reuseware — Adding Modularity to Your Language of Choice, pp. 127-146, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  140. Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio, A Metamodel Independent Approach to Difference Representation, pp. 165-185, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  141. Jaroslaw D. M. Kúsmierek, Viviana Bono, Hygienic methods — Introducing HygJava, pp. 209-229, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  142. Carsten Lohmann, Joel Greenyer, Juanjuan Jiang, Tarja Systä, Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations, pp. 253-273, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  143. Andreas Leitner, Patrick Eugster, Manuel Oriol, Ilinca Ciupa, Reflecting on an Existing Programming Language, pp. 319-339, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  144. Jorge Vallejos, Tom Van Cutsem, Elisa Gonzalez Boix, Stijn Mostinckx, Jessie Dedecker, Wolfgang De Meuter, The Message-Oriented Mobility Model, pp. 363-382, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  145. Rafael L. Cancian, Marcelo R. Stemmer, Alexandre Schulter, Antônio A. M. Fröhlich, A Tool for Supporting and Automating the Development of Component-based Embedded Systems, pp. 399-416, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  146. Torbjörn Ekman, Görel Hedin, Pluggable checking and inferencing of nonnull types for Java, pp. 455-475, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  147. 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)
  148. Walter Cazzola, Sonia Pini, On the Footprints of Join Points: The Blueprint Approach, pp. 167-192, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
  149. Douglas Lyon, Diffraction Rangefinding in Java, pp. 15-28, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  150. Richard Wiener, Converting a C#/.NET Desktop Application to an ASP.NET 2005 Web Application, pp. 35-39, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  151. 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)
  152. Douglas Lyon, Carl Weiman, Observer-Conditioned-Observable Design Pattern, pp. 15-24, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  153. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Persistent Objects and Capabilities in Timor, pp. 103-123, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  154. Douglas Lyon, Francisco Castellanos, The Parametric Singleton Design Pattern, pp. 13-23, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  155. Christian Heinlein, Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance, pp. 101-151, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  156. Atsushi Igarashi, Hideshi Nagira, Union Types for Object-Oriented Programming, pp. 47-68, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  157. Friedrich Steimann, The Infer Type Refactoring and its Use for Interface-Based Programming, pp. 99-120, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  158. Mahesh H. Dodani, Where's the (Business) Beef?, pp. 59-64, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  159. 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)
  160. Jagadish Suryadevara, R.K. Shyamasundar, UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources, pp. 107-119, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  161. Horatiu Jula, Alternative Implementation of the C# Iterator Blocks, pp. 33-41, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  162. Jean-François Gélinas, Mourad Badri, Linda Badri, A Cohesion Measure for Aspects, pp. 75-95, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  163. Herbert Toth, ABS++ : Assertion Based Subtyping in C++, pp. 83-105, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  164. Marc Conrad, Tim French, Marianne Huchard, Carsten Maple, Sandra Pott, Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics, pp. 107-126, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  165. Victor Braberman, Diego Garbervetsky, Sergio Yovine, A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption, pp. 31-58, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  166. Angela Hantelmann, Cui Zhang, Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach, pp. 59-89, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  167. László Lengyel, Tihamér Levendovszky, Hassan Charaf, Constraint Validation in Model Compilers, pp. 107-127, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  168. 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)
  169. Dave Thomas, On The Next Move in Programming, pp. 7-11, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  170. John D. McGregor, Planning before plans, pp. 27-34, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  171. Mahesh H. Dodani, A Picture is Worth a 1000 Words?, pp. 35-40, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  172. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger Frans Henskens, Michael Hannaford, Support for Object Oriented Transactions in Timor, pp. 103-124, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  173. W. Al-Ahmad, Object-Oriented Design Patterns for Detailed Design, pp. 155-169, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  174. G. Sudha Sadasivam, Geetha Rani, Ramya Gopalanis, Saranya Suresh, A Novel Real Time Scheduling Frame-work for CORBA-Based Applications, pp. 171-188, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  175. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Call-out Bracket Methods in Timor, pp. 51-67, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  176. G. Arumugam, M. Thangaraj, An efficient multiversion access control in a Temporal Object Oriented Database, pp. 105-116, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  177. Philippe Lahire, Laurent Quintian, New Perspective To Improve Reusability in Object-Oriented Languages, pp. 117-138, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  178. Mirko Viroli, Giovanni Rimassa, On Access Restriction with Java Wildcards, pp. 117-139, PDF, HTML, DOI. Volume 4, no. 10 (December 2005)
  179. Marcela Genero, Mario Piattini, Coral Calero, A Survey of Metrics for UML Class Diagrams, pp. 59-92, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
  180. Chang-Hyun Jo, Jeffery M. Einhorn, A BDI Agent-Based Software Process, pp. 101-121, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
  181. Clay Williams, Matthew Kaplan, Tim Klinger, Amit Paradkar, Toward Engineered, Useful Use Cases, pp. 45-57, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  182. John D. McGregor, Customer Interface Management, pp. 19-25, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  183. Anthony J.H. Simons, The Theory of Classification Part 19: The Proliferation of Parameters, pp. 37-48, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  184. Friedrich Steimann, Philip Mayer, Patterns of Interface-Based Programming, pp. 75-94, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  185. Michael Eichberg, Component-Based Software Development with Aspect-Oriented Programming, pp. 21-26, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  186. Won Kim, On Metadata Management Technology: Status and Issues, pp. 41-47, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
  187. Mads Torgersen, Erik Ernst, Christian Plesner Hansen, Peter von der Ahe, Gilad Bracha, Neal Gafter, Adding Wildcards to the Java Programming Language, pp. 97-116, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
  188. J. Leslie Keedy, Christian Heinlein, Gisela Menger, Mark Evered, Diamond Inheritance and Attribute Types in Timor, pp. 121-142, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  189. Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige, SECG: The SCOOP-to-Eiffel Code Generator, pp. 143-160, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  190. Wes Munsil, Case Study: Converting to Java 1.5 Type-Safe Collections, pp. 7-13, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  191. Won Kim, Timothy K. Shih, On Reusability and Interoperability for Distance Learning, pp. 27-34, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  192. Douglas Lyon, Project Initium: Programmatic Deployment, pp. 55-69, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  193. Richard Wiener, Some Examples of Generics in Java 1.5, pp. 81-96, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  194. Benjamin Lopez, Francisco Ortin, Javier Noval, Reflection as the Basis for Developing a Dynamic SoC Persistence System, pp. 121-145, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  195. Amar Ramdane-Cherif, Nicole Levy, Francisca Losavio, Agent Paradigm for Adaptable Architecture, pp. 169-182, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  196. Anthony J.H. Simons, The Theory of Classification, Part 13: Template Classes and Genericity, pp. 15-25, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  197. Conrad Bock, UML 2 Activity and Action Models, Part 5: Partitions, pp. 37-56, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  198. Davide Ancona, Giovanni Lagorio, Stronger Typings for Separate Compilation of Java-like Languages, pp. 5-25, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
  199. Richard Wiener, Delegates and Events in C#, pp. 78-85, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  200. Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  201. Harald Haller, Design of Large .NET Applications: Best Practices, pp. 11-17, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
  202. Mahesh H. Dodani, A Reuse Parable, pp. 77-82, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  203. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Qualifying Types with Bracket Methods in Timor, pp. 101-121, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  204. Gerardo Rossel, Andrea Manna, E-MOBI Smart Object Model and Implementation, pp. 103-115, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  205. Francis G. Mossé, ‘Analysis Paralysis’? — There exist so many ways to proceed, how could you get paralyzed?, pp. 13-16, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  206. Conrad Bock, UML 2 Activity and Action Models, Part 2, pp. 41-56, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  207. Donald Firesmith, Using Quality Models to Engineer Quality Requirements, pp. 67-75, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  208. James Odell, H. Van Dyke Parunak, Sven Brueckner, John Sauter, Changing Roles: Dynamic Role Assignment, pp. 77-86, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  209. Gonzalo Génova, Carlos Ruiz del Castillo, Juan Llorens, Mapping UML Associations into Java Code, pp. 135-162, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  210. Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  211. George Fernandez, Liping Zhao, Inji Wijegunaratne, Patterns for Federated Architecture, pp. 135-149, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  212. Francisca Losavio, Ledis Chirinos, Nicole Lévy, Amar Ramdane-Cherif, Quality Characteristics for Software Architecture, pp. 133-150, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  213. Anthony J.H. Simons, The Theory of Classification, Part 4: Object Types and Subtyping, pp. 27-35, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  214. Peter Horan, Eiffel Assertions and the External Structure of Classes and Objects, pp. 105-118, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  215. Neelam Soundarajan, Benjamin Tyler, Testing Polymorphic Behavior, pp. 173-188, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  216. Jason O. Hallstrom, Neelam Soundarajan, Incremental Development Using Object Oriented Frameworks: A Case Study, pp. 189-205, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  217. Mahesh H. Dodani, Objects are for Wimps: Real Developers need S.O.S., pp. 55-61, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  218. Miguel Katrib, Iskander Sierra, Mario del Valle, Thaizel Fuentes, Java Distributed Separate Objects, pp. 119-142, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  219. Emilio García-Roselló, José Ayude, José B. García-Schofield, Manuel Pérez-Cota, Design principles for highly reusable concurrent object-oriented systems, pp. 107-123, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact