Articles matching “Ali”

  1. Onyeka Ezenwoye, Mitigating Injection-Based Weaknesses: A Flexible Template Architecture, pp. 1:1-20, PDF, DOI. Volume 23, no. 1 ( 2024)
  2. Stefan Ramson, Markus Brand, Jens Lincke, Robert Hirschfeld, Extensible Tooling for Reactive Programming Based on Active Expressions, pp. 1:1-32, PDF, DOI. Volume 23, no. 1 ( 2024)
  3. 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)
  4. James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé, Integrating the Support for Machine Learning of Inter-Model Relations in Model Views, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  5. Marco Konersmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo, Towards a Semantically Useful Definition of Conformance with a Reference Model, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  6. Daniel Lehner, Jérôme Pfeiffer, Stefan Klikovits, Andreas Wortmann, Manuel Wimmer, A Method for Template-based Architecture Modeling and its Application to Digital Twins, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  7. 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)
  8. Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty, Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement, pp. 2:1-30, PDF, DOI. Volume 23, no. 2 (March 2024)
  9. 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)
  10. Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs, pp. 2:1-13, PDF, DOI. Volume 23, no. 2 (March 2024)
  11. 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)
  12. Manar H. Alalfi, Atheer Abu Zaid, Ali Miri, A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
  13. 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)
  14. Arvid Butting, Rohit Gupta, Nico Jansen, Nikolaus Regnat, Bernhard Rumpe, Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
  15. 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)
  16. 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)
  17. Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé, Protocol-Based Interactive Debugging for Domain-Specific Languages, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 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. Iván Alfonso, Abel Gómez, Silvia Doñate, Kelly Garcés, Harold Castro, Jordi Cabot, A model-based framework for IoT systems in wastewater treatment plants, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
  21. Tiago Amorim, Alexander Boll, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, Hartmut Pohlheim, Simulink bus usage in practice: an empirical study, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  22. Ryan Languay, Nika Prairie, Jörg Kienzle, Concern-Oriented Use Cases, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  23. Priscila Cedillo, Emilio Insfran, Silvia Abrahão, Monitoring Cloud Services through Models at Runtime: A Case in an Ambient Assisted Living Environment, pp. 4:1-19, PDF, DOI. Volume 21, no. 4 (October 2022)
  24. Francisco Durán, Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools, pp. 4:1-12, PDF, DOI. Volume 21, no. 4 (October 2022)
  25. 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)
  26. Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel, Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach, pp. 4:1-17, PDF, DOI. Volume 21, no. 4 (October 2022)
  27. 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)
  28. Stéphane Ducasse, Guillermo Polito, Oleksandr Zaitsev, Marcus Denker, Pablo Tesone, Deprewriter: On the fly rewriting method deprecations, pp. 1:1-23, PDF, DOI. Volume 21, no. 1 ( 2022)
  29. Nour Jihene Agouf, Stéphane Ducasse, Anne Etien, Abdelghani Alidra, Arnaud Thiefaine, Understanding Class Name Regularity: A Simple Heuristic and Supportive Visualization, pp. 1:1-31, PDF, DOI. Volume 21, no. 1 ( 2022)
  30. 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)
  31. 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)
  32. 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)
  33. Oliver Kautz, Bernhard Rumpe, Louis Wachtmeister, Semantic Differencing of Use Case Diagrams, pp. 3:1-14, PDF, DOI. Volume 21, no. 3 (July 2022)
  34. Hao Wu, A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants, pp. 3:1-17, PDF, DOI. Volume 21, no. 3 (July 2022)
  35. 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)
  36. Alfa Yohannis, Alfonso de la Vega, Dimitris Kolovos, Vaultage: Automatic Generation of Secure Communication around Decentralised User-Managed Data Vaults, pp. 3:1-14, PDF, DOI. Volume 21, no. 3 (July 2022)
  37. 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)
  38. 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)
  39. 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)
  40. 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)
  41. 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)
  42. Imke Drave, Arkadii Gerasimov, Judith Michael, Lukas Netz, Bernhard Rumpe, Simon Varga, A Methodology for Retrofitting Generative Aspects in Existing Applications, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
  43. 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)
  44. 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)
  45. Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis, Towards a Generic Method for Articulating Design-time Uncertainty, pp. 3:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
  46. 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)
  47. 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)
  48. Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Adapting TDL to Provide Testing Support for Executable DSLs, pp. 6:1-15, PDF, DOI. Volume 20, no. 3 (June 2021)
  49. Tiziano Lombardi, Vittorio Cortellessa, Alfonso Pierantonio, Co-evolution of Metamodel and Generators: Higher-order Templating to the Rescue, pp. 7:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
  50. 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)
  51. Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels, Automating Model Transformations for Railway Systems Engineering, pp. 10:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
  52. Ludovico Iovino, Tamzalit Dalila, Introduction to the Special Theme on Models and Evolution, pp. 1-2, PDF, DOI. Volume 20, no. 1 (January 2021)
  53. 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)
  54. Paula Muñoz, Loli Burgueño, Victor Ortiz, Antonio Vallecillo, Extending OCL with Subjective Logic, pp. 3:1-15, PDF, DOI. Volume 19, no. 3 (October 2020)
  55. 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)
  56. Fiona Polack, Kieran Alden, On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  57. 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)
  58. Alexander Knapp, María Victoria Cengarle, 2-Term Charters, pp. 3:1-12, PDF, DOI. Volume 19, no. 3 (October 2020)
  59. Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró, A Specification Language for Consistent Model Generation based on Partial Models, pp. 3:1-22, PDF, DOI. Volume 19, no. 3 (October 2020)
  60. 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)
  61. 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)
  62. Ed Willink, Reflections on OCL 2, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  63. Jesús Sánchez Cuadrado, Towards Interactive, Test-driven Development of Model Transformations, pp. 3:1-12, PDF, DOI. Volume 19, no. 3 (October 2020)
  64. Mira Balaban, Igal Khitron, Michael Kifer, Logic-based Software Modeling with FOML, pp. 3:1-21, PDF, DOI. Volume 19, no. 3 (October 2020)
  65. Frank Hilken, Lars Hamann, History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  66. Alexander Schultheiß, Alexander Boll, Timo Kehrer, Comparison of Graph-based Model Transformation Rules, pp. 3:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  67. Vadim Zaytsev, Modelling of Language Syntax and Semantics: The Case of the Assembler Compiler, pp. 5:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
  68. 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)
  69. Jesús Sánchez Cuadrado, Martin Gogolla, Model Finding in the EMF Ecosystem, pp. 10:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  70. 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)
  71. Angela Barriga, Adrian Rutle, Rogardt Heldal, Improving Model Repair through Experience Sharing, pp. 13:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  72. Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio, Detecting Metamodel Evolutions in Repositories of Model-Driven Projects, pp. 14:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
  73. Iovino Ludovico, Angela Barriga, Adrian Rutle, Rogardt Heldal, Model Repair with Quality-Based Reinforcement Learning, pp. 17:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  74. Nisha Desai, Martin Gogolla, Assembling Scenario Patterns for Checking Model Behavior, pp. 19:1-27, PDF, DOI. Volume 19, no. 2 (July 2020)
  75. 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)
  76. 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)
  77. Nisha Desai, Martin Gogolla, Developing Comprehensive Postconditions Through a Model Transformation Chain, pp. 5:1-18, PDF, DOI. Volume 18, no. 3 (July 2019)
  78. Loli Burgueño, Jordi Cabot, Sébastien Gérard, The Future of Model Transformation Languages: An Open Community Discussion, pp. 7:1-11, PDF, DOI. Volume 18, no. 3 (July 2019)
  79. Benoit Combemale, Ali Shaukat, The 15th European Conference on Modelling Foundations and Applications (ECMFA), pp. 1-3, PDF, DOI. Volume 18, no. 2 (July 2019)
  80. Alfa Yohannis, Rodriguez Hoyos Rodriguez, Fiona Polack, Dimitris Kolovos, Towards Efficient Comparison of Change-Based Models, pp. 7:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  81. Dennis Reuling, Malte Lochau, Udo Kelter, From Imprecise N-Way Model Matching to Precise N-Way Model Merging, pp. 8:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  82. Gala Barquero, Javier Troya, Antonio Vallecillo, Trading Accuracy for Performance in Data Processing Applications, pp. 9:1-24, PDF, DOI. Volume 18, no. 2 (July 2019)
  83. Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles, Formal reasoning over class models using TOMM, pp. 12:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  84. Thibault Béziers la Fosse, Jean-Marie Mottu, Massimo Tisi, Sunyé Sunyé, Source-Code Level Regression Test Selection: the Model-Driven Way, pp. 13:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
  85. 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)
  86. 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)
  87. Katrin Hölldobler, Judith Michael, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann, Innovations in Model-based Software And Systems Engineering, pp. 1-60, PDF, DOI. Volume 18, no. 1 (2019)
  88. Yutaro Tsunekawa , Taichi Tomioka, Kazunori Ueda, Implementation of LMNtal Model Checkers: a Metaprogramming Approach. , pp. 1:1-28, PDF, DOI. Volume 17, no. 1 (November 2018)
  89. Jens Dietrich, Henrik Schole, Li Sui, Ewan Tempero, XCorpus – An executable Corpus of Java Programs, pp. 1:1-24, PDF, DOI. Volume 16, no. 4 (August 2017)
  90. G. Polito, L. Fabresse, N. Bouraqadi, S. Ducasse, Run-Fail-Grow: Creating Tailored Object-Oriented Runtimes, pp. 2:1-36, PDF, DOI. Volume 16, no. 3 (June 2017)
  91. 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)
  92. Faris Abou-Saleh, James McKinna, Jeremy Gibbons, Coalgebraic Aspects of Bidirectional Computation, pp. 1:1-29, PDF, DOI. Volume 16, no. 1 (February 2017)
  93. 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)
  94. Sergio Miranda, Elder Rodrigues Jr, Marco Tulio Valente, Ricardo Terra, Architecture Conformance Checking in Dynamically Typed Languages, pp. 1:1-34, PDF, DOI. Volume 15, no. 3 (June 2016)
  95. Leandro Antonelli, Gustavo Rossi, Alejandro Oliveros, A Collaborative Approach to Describe the Domain Language through the Language Extended Lexicon, pp. 3:1-27, PDF, DOI. Volume 15, no. 3 (June 2016)
  96. Clément Béra, Eliot Miranda, Marcus Denker, Stéphane Ducasse, Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization, pp. 1:1-26, PDF, DOI. Volume 15, no. 2 (March 2016)
  97. Michael D. Ekstrand, Michael Ludwig, Dependency Injection with Static Analysis and Context-Aware Policy, pp. 1:1-31, PDF, DOI. Volume 15, no. 1 (February 2016)
  98. Joseph (Yossi) Gil, Gal Lalouche, When do Software Complexity Metrics Mean Nothing? – When Examined out of Context, pp. 2:1-25, PDF, DOI. Volume 15, no. 1 (February 2016)
  99. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  100. 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)
  101. David Lindecker, Gabor Simko, Tihamer Levendovszky, Istvan Madari, Janos Sztipanovits, Validating Transformations for Semantic Anchoring , pp. 2:1-25, PDF, DOI. Volume 14, no. 3 (August 2015)
  102. Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny, A Methodology for Verifying Refinements of Partial Models, pp. 3:1-31, PDF, DOI. Volume 14, no. 3 (August 2015)
  103. 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)
  104. Stefan Mutke, Christoph Augenstein, Martin Roth, André Ludwig, Bogdan Franczyk, Real-time information acquisition in a model-based integrated planning environment for logistics contracts, pp. 2:1-25, PDF, DOI. Volume 14, no. 1 (April 2015)
  105. 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)
  106. 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)
  107. Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
  108. 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)
  109. Laurence Tratt, The Song Remains (Almost) The Same, HTML, DOI. Volume 13, no. 2 (June 2014)
  110. Yannis Lilis, Anthony Savidis, Aspects for Stages: Cross Cutting Concerns for Metaprograms, pp. 1:1-36, PDF, DOI. Volume 13, no. 1 (March 2014)
  111. Yannis Lilis, Anthony Savidis, An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms, pp. 1:1-26, PDF, DOI. Volume 12, no. 3 (August 2013)
  112. Jan Vitek, Changing of the Guard, HTML, DOI. Volume 12, no. 2 (June 2013)
  113. Michael Grossniklaus, Stefania Leone, Alexandre de Spindler, Moira C. Norrie, A Platform to Support Object Database Research, pp. 2:1-31, PDF, DOI. Volume 12, no. 2 (June 2013)
  114. Seyed Mohammad Hossein Hasheminejad, Saeed Jalili, SCI-GA: Software Component Identification using Genetic Algorithm, pp. 3:1-34, PDF, DOI. Volume 12, no. 2 (June 2013)
  115. 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)
  116. 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)
  117. Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel, Conflict Visualization for Evolving UML Models, pp. 2:1-30, PDF, DOI. Volume 11, no. 3 (October 2012)
  118. 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)
  119. Philip Langer, Manuel Wimmer, Jeff Gray, Gerti Kappel, Antonio Vallecillo, Language-Specific Model Versioning Based on Signifiers, pp. 4:1-34, PDF, DOI. Volume 11, no. 3 (October 2012)
  120. Olivier Zendra, Markku Sakkinen, ICOOLPS 2010 and MASPEGHI 2010, HTML, DOI. Volume 11, no. 3 (October 2012)
  121. Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot, A Catalogue of Refactorings for Model-to-Model Transformations, pp. 2:1-40, PDF, DOI. Volume 11, no. 2 (August 2012)
  122. 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)
  123. 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)
  124. Antonio Vallecillo, Judith Bishop, TOOLS Europe 2011 Special Section, HTML, DOI. Volume 11, no. 1 (April 2012)
  125. Christoph Bockisch, Andreas Sewe, Haihan Yin, Mira Mezini, Mehmet Aksit, An In-Depth Look at ALIA4J, pp. 7:1-28, PDF, DOI. Volume 11, no. 1 (April 2012)
  126. 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)
  127. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  128. 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)
  129. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
  130. Phil McGachey, Antony L. Hosking, J. Eliot B. Moss, Class Transformations for Transparent Distribution of Java Applications, pp. 9:1-35, PDF, DOI. Volume 10, (2011)
  131. Anya Helene Bagge, Valentin David, Magne Haveraaen, Testing with Axioms in C++ 2011, pp. 10:1-32, PDF, DOI. Volume 10, (2011)
  132. Antonio Vallecillo, On JOT Special Sections, HTML, DOI. Volume 10, (2011)
  133. Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, Computational Abstraction Steps, pp. 1-23, PDF, DOI. Volume 9, no. 6 (November 2010)
  134. 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)
  135. 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)
  136. Tushar Sharma, Dharanipragada Janakiram, Inferring design patterns using the ReP graph, pp. 95-110, PDF, DOI. Volume 9, no. 5 (September 2010)
  137. Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani, A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation, pp. 25-43, PDF, DOI. Volume 9, no. 4 (July 2010)
  138. Isi Castillo, Francisca Losavio, Alfredo Matteo, Jørgen Bøegh, REquirements, Aspects and Software Quality: the REASQ model, pp. 69-91, PDF, DOI. Volume 9, no. 4 (July 2010)
  139. John McGregor, It's a Small World — Globalization, pp. 7-17, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  140. Douglas Lyon, Semantic Annotation for Java, pp. 19-29, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  141. Mahesh Dodani, On ‘Cloud Nine’ Through Architecture, pp. 31-39, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  142. Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour, A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude, pp. 59-77, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  143. Rainer Hauser, Analysis and Transformation of Behavioral Models Containing Overlapped Patterns, pp. 105-124, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  144. Douglas Lyon, The Discrete Fourier Transform, Part 6: Cross-Correlation, pp. 17-22, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  145. Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  146. Abdelsalam Maatuk, M. Akhtar Ali, Nick Rossiter, Converting Relational Databases into Object-relational Databases, pp. 145-161, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  147. Raymond Wu, Masayuki Hisada, SOA Web Security and Applications, pp. 163-177, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  148. John D. McGregor, Intentionality, pp. 7-13, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  149. Suman Roychoudhury, Jeff Gray, Jing Zhang, Purushotham Bangalore, Anthony Skjellum, A Program Transformation Technique to Support AOP within C++ Template, pp. 143-160, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  150. Tudor B. Ionescu, Andreas Piater, Walter Scheuermann, Eckart Laurien, An Aspect-Oriented Approach for the Development of Complex Simulation Software, pp. 161-181, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  151. Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah, On Differencing Object-Oriented Formal Specifications, pp. 183-198, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  152. Mahesh H. Dodani, Cloud Architecture, pp. 35-44, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  153. J. Leslie Keedy, Gisela Menger, Christian Heinlein, Types and Co-Types in Timor, pp. 39-58, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  154. Stéphane S. Somé, A Meta-Model for Textual Use Case Description, pp. 87-106, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  155. Jens Dietrich, Graham Jenson, Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable, pp. 131-148, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  156. Mahesh H. Dodani, Cloud Redux, pp. 31-38, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  157. Richard Wiener, Ant Colony System Optimization, pp. 39-58, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  158. 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)
  159. John D. McGregor, Goal-driven Product Derivation, pp. 7-19, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  160. Mahesh H. Dodani, The Five-Step Program To Cloud!, pp. 35-43, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  161. Sven Apel, Christian Kästner, An Overview of Feature-Oriented Software Development, pp. 49-84, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  162. Francisca Losavio, Alfredo Matteo, Patricia Morantes, UML Extensions for Aspect Oriented Software Development, pp. 105-132, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  163. S.K. Mishra, D.S. Kushwaha, A.K. Misra, Creating Reusable Software Component from Object-Oriented Legacy System through Reverse Engineering, pp. 133-152, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  164. Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  165. John D. McGregor, Strategic Software Engineering, pp. 7-15, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  166. John D. McGregor, Variation Verification, pp. 7-14, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  167. 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)
  168. Toufik Taibi, Angel Herranz, Juan Jose Moreno-Navarro, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker, pp. 137-161, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  169. John D. McGregor, Modeling Software, pp. 7-22, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  170. 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)
  171. 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)
  172. Jaiprakash T. Lallchandani, R. Mall, Static Slicing of UML Architectural Models, pp. 159-188, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  173. A.K. Bhattacharjee, R.K. Shyamasundar, Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation, pp. 189-220, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  174. Cristiano Breuel, Francisco Reverbel, User-Defined Join Point Selectors — An Extension Mechanism for Pointcut Languages, pp. 5-24, PDF, HTML, DOI. Volume 7, no. 9 (December 2008)
  175. John D. McGregor, Agile Software Product Lines, Deconstructed, pp. 7-19, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  176. Mahesh H. Dodani, What's Your Information Agenda?, pp. 41-49, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  177. Harshavardhan Jegadeesan, Sundar Balasubramaniam, An MOF2-based Services Metamodel, pp. 71-96, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  178. Roger Johnson, George Roussos, Luca Vetti Tagliati, Requirements analysis for large scale systems, pp. 117-137, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  179. John D. McGregor, Qualitative SIMPLE, pp. 7-16, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
  180. R. Senthil, D.S. Kushwaha, A.K. Misra, An Extended Component Model and its evaluation for Reliability & Quality, pp. 109-129, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
  181. Mahesh H. Dodani, Aligning IT to Business Through Architecture, pp. 1-8, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  182. Rex Cason II, Erik Larson, Jonathan Robertson, Jonathan Frisch, George Trice III, Lakshmi Prayaga, First Person Shooter Game, pp. 25-39, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  183. 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)
  184. Venera Arnaoudova, Laleh Mousavi Eshkevar, Elaheh Safari Sharifabadi, Constantinos Constantinides, Overcoming comprehension barriers in the AspectJ programming language, pp. 121-142, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  185. Vincent Cremet, Philippe Altherr, Adding Type Constructor Parameterization to Java, pp. 25-65, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  186. Mahesh H. Dodani, The Architecture of Business, pp. 43-50, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  187. Charles Ashbacher, Adrenaline Junkies and Template Zombies: Understanding Patterns of Project Behavior, pp. 65-66, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  188. Ali Ebrahim El Desokey, Amany Sarhan, Seham Moawed, Using Multiple Servers in Concurrent Garbage Collector, pp. 139-158, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  189. Robert Hirschfeld, Pascal Costanza, Oscar Nierstrasz, Context-oriented Programming, pp. 125-151, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
  190. 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)
  191. Douglas Gregor, Jaakko Järvi, Variadic Templates for C++0x, pp. 31-51, PDF, HTML, DOI. Volume 7, no. 2 (February 2008)
  192. Luca Vetti Tagliati, Carlo Caloro, UML and Object Oriented Drama, pp. 85-101, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  193. 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)
  194. Till Bay, Michela Pedroni, Bertrand Meyer, By students, for students: a production-quality multimedia library and its application to game-based teaching, pp. 147-159, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  195. 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)
  196. Assel Akzhalova, Assel Altayeva, Nurzhan Duzbayev, Model Driven Prediction and Control, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  197. 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)
  198. John D. McGregor, Value, pp. 9-15, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  199. Mark Royer, Suad Alagic, Dan Dillon, Reflective Constraint Management for Languages on Virtual Platforms, pp. 59-79, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  200. 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)
  201. 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)
  202. 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)
  203. Friedrich Steimann, Philip Mayer, Type Access Analysis: Towards Informed Interface Design, pp. 147-164, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  204. Jaroslaw D. M. Kúsmierek, Viviana Bono, Hygienic methods — Introducing HygJava, pp. 209-229, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  205. Stefan Reichhart, Tudor Gîrba, Stéphane Ducasse, Rule-based Assessment of Test Quality, pp. 231-251, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  206. 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)
  207. Viviana Bono, Jaroslaw D. M. Kúsmierek, Modularizing constructors, pp. 297-317, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  208. Michihiro Horie, Shigeru Chiba, AspectScope: An Outline Viewer for AspectJ Programs, pp. 341-361, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  209. Christine Hundt, Katharina Mehner, Carsten Pfeiffer, Dehla Sokenou, Improving Alignment of Crosscutting Features with Code in Product Line Engineering, pp. 417-436, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  210. Cristina Vicente-Chicote, Begoña Moros, Ambrosio Toval, REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting, pp. 437-454, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  211. 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)
  212. Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  213. 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)
  214. Tarig Mohamed Ahmed, Increasing Mobile Agent Performance by Using Free Areas Mechanism, pp. 125-140, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  215. Tobias Wrigstad, Dave Clarke, Existential Owners for Ownership Types, pp. 141-159, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  216. Won Kim, Seonghoon Kang, Minimalist and Intuitive User Interface Design Guidelines for Consumer Electronics Devices, pp. 39-52, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  217. Atsushi Igarashi, Hideshi Nagira, Union Types for Object-Oriented Programming, pp. 47-68, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  218. Mahesh H. Dodani, Where's the (Business) Beef?, pp. 59-64, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  219. Donald Firesmith, Requirements Engineering Tasks, pp. 21-29, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  220. Mahesh H. Dodani, SOA 2006: State Of The Art, pp. 41-48, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  221. Alan Ward, Encrypting the Java Serialized Object, pp. 49-57, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  222. K.K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchika Malhotra, Empirical Study of Object-Oriented Metrics, pp. 149-173, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  223. Won Kim, On Designing Software Architectures, pp. 27-32, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  224. Richard F. Paige, Triston S. Attridge, Phillip J. Brooke, Game Development using Design-by-Contract, pp. 57-73, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  225. A. Vijay Srinivas, D. Janakiram, Scaling a Shared Object Space to the Internet: Case Study of Virat, pp. 75-95, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  226. Dave Thomas, The API Field of Dreams — Too Much Stuff! It's Time to Reduce and Simplify APIs!, pp. 23-27, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  227. Won Kim, On Assuring Software Quality and Curbing Software Development Cost, pp. 35-42, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  228. Vitaly Khusidman, David M. Bridgeland, A Classification Framework for Software Reuse, pp. 43-61, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  229. John Boyland, Why we should not add readonly to Java (yet), pp. 5-29, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  230. Adam Darvas, Peter Müller, Reasoning About Method Calls in Interface Specifications, pp. 59-85, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  231. Mahesh H. Dodani, Who Took the Cookie from the Cookie Jar?, pp. 23-28, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  232. Richard Wiener, Modeling a Grid of Traffic Lights -A Case Study Using WinForms, Event Handling and Observer Pattern, pp. 29-58, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  233. María Cruz Valiente, Gonzalo Genova, Jesús Carretero, UML 2.0 Notation for Modeling Real Time Task Scheduling, pp. 91-105, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  234. 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)
  235. 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)
  236. Donald Firesmith, Peter Capell, Architecture-Related Requirements, pp. 61-73, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  237. Birol Berkem, How to align IT with the changes using UML and according to BMM? Applying the ‘Goal Driven Development’ Process on a case study using UML 2 and the BMM, pp. 85-102, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  238. 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)
  239. W. Al-Ahmad, Object-Oriented Design Patterns for Detailed Design, pp. 155-169, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  240. 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)
  241. Mahesh H. Dodani, Change Happens!, pp. 39-44, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  242. Won Kim, On Addressing the Computer Science Crisis, pp. 45-49, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  243. Donald Firesmith, Quality Requirements Checklist, pp. 31-38, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
  244. 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)
  245. Peter Merrick, Pat Barrow, The Rationale for OO Associations in Use Case Modelling, pp. 123-142, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
  246. Neal Glew, Jens Palsberg, Method Inlining, Dynamic Class Loading, and Type Soundness, pp. 33-53, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  247. Alessandro Coglio, Checking Access to Protected Members in the Java Virtual Machine, pp. 55-76, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  248. David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  249. Rachel Henne-Wu, William Mitchell, Cui Zhang, Support for Design by ContractTM in the C# Programming Language, pp. 65-82, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  250. Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke, E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel, pp. 97-114, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  251. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered, Statically Qualified Types in Timor, pp. 115-137, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  252. Bruce Anderson, Formalism, technique and rigour in Use Case Modelling, pp. 15-28, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  253. Nelly Bencomo, Alfredo Matteo, Traceability Management through Use Cases when Developing Distributed Object Applications, pp. 29-43, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  254. 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)
  255. Michal Smialek, Accommodating Informality with Necessary Precision in Use Case Scenarios, pp. 59-67, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  256. Douglas Lyon, Martin Fuhrer, Thomas Rowland, The JBoss Integration Plug-in for IntelliJ IDEA, Part 1, pp. 7-17, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  257. Birol Berkem, Aligning IT with the Changes using the Goal-Driven Development for UML and MDA, pp. 49-65, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  258. Mahesh H. Dodani, Mirror, Mirror on the Wall, Whose SOA is the Best of them All?, pp. 67-74, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  259. Liwu Li, An Implementation of the p-Calculus on the .NET, pp. 139-158, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  260. Saverio Perugini, Naren Ramakrishnan, Personalization by Program Slicing, pp. 5-11, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  261. Michael Eichberg, Component-Based Software Development with Aspect-Oriented Programming, pp. 21-26, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  262. Wes Lloyd, A Common Criteria Based Approach for COTS Component Selection, pp. 25-32, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  263. Abdelaziz Gacemi, Abdehak Seriai, Mourad Chabane Oussalah, Code Generation from Architectural Multiviews Description, pp. 41-49, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  264. Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  265. Herbert Toth, On theory and practice of Assertion Based Software Development, pp. 109-129, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
  266. Bo Nørregaard Jørgensen, Integration of Independently Developed Components through Aliased Multi-Object Type Widening, pp. 55-76, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
  267. Donald Firesmith, Generating Complete, Unambiguous, and Verifiable Requirements from Stories, Scenarios, and Use Cases, pp. 27-39, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  268. 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)
  269. Mireille Blay-Fornarino, Anis Charfi, David Emsellem, Anne-Marie Pinna-Dery, Michel Riveill, Software interactions, pp. 161-180, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  270. Manuel Torres, José Samos, A Language to Define External Schemas in ODMG Databases, pp. 181-192, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  271. Hicham Djenidi, Amar Ramdane-Cherif, Chakib Tadj, Nicole Levy, Generic Pipelined Multi-Agents Architecture for Multimedia Multimodal Software Environment, pp. 147-168, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  272. Amar Ramdane-Cherif, Nicole Levy, Francisca Losavio, Agent Paradigm for Adaptable Architecture, pp. 169-182, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  273. Apostolos Zarras, Online Upgrade of Object-Oriented Middleware, pp. 121-140, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  274. Patrice Chalin, JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics, pp. 57-79, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
  275. John D. McGregor, Software Architecture, pp. 65-77, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  276. Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  277. Salah Bouktif, Improving Rule Set Based Software Quality Prediction: A Genetic Algorithm-based Approach, pp. 227-241, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
  278. Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  279. Dave Thomas, The Elusive Search for Business Frameworks, pp. 7-13, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  280. Donald Firesmith, Specifying Reusable Security Requirements, pp. 61-75, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  281. Richard Wiener, Remoting in C# and .NET, pp. 83-100, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  282. 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)
  283. Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  284. Osvaldo Pinali Doederlein, The Tale of Java Performance, pp. 17-40, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  285. Donald Firesmith, Using Quality Models to Engineer Quality Requirements, pp. 67-75, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  286. Liping Zhao, James O. Coplien, Understanding Symmetry in Object-Oriented Languages, pp. 123-134, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  287. Mahesh H. Dodani, The Best Practice Promise and Myth, pp. 65-68, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  288. Won Kim, Byoungju Choi, Towards Quantifying Data Quality Costs, pp. 69-76, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  289. Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  290. Won Kim, A Retrospection On Niche Database Technologies, pp. 35-42, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  291. 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)
  292. Talib Damij, Using an Object-Oriented Methodology Called TAD in Business Process Reengineering, pp. 151-168, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  293. Anna Grimán, Maria Pérez, Architectural Quality in Development Processes: A Case Study, pp. 169-182, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  294. Gonzalo Génova, Juan Llorens, Vicente Palacios, Sending Messages in UML, pp. 99-115, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
  295. Francisca Losavio, Quality Models to Design Software Architecture, pp. 165-178, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  296. Juliana Küster Filipe, A logic-based Formalization for Component Specification, pp. 231-248, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  297. Won Kim, Ki-Joon Chae, Dong-Sub Cho, Byoungju Choi, Anmo Jeong, Myung Kim, KiHo Lee, Meejeong Lee, Minsoo Lee, Sang-Ho Lee, Seung-Soo Park, Hwan-Seung Yong, Ho-Sook Kim, Jung-Won Lee, Wol-Young Lee, The Chamois Reconfigurable Data-Mining Architecture, pp. 21-33, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  298. Dave Thomas, The Deplorable State of Class Libraries, pp. 21-27, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
  299. Won Kim, Personalization: Definition, Status, and Challenges Ahead, pp. 29-40, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
  300. Rushikesh K. Joshi, What is Common Between Generic Services and Interface Navigation?, pp. 125-132, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact