Articles matching “Tran”

  1. Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. Jan Oliver Ringert, Bernhard Rumpe, Max Stachon, On Implementing Open World Semantic Differencing for Class Diagrams, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
  9. Fadwa Rekik, Saadia Dhouib, Quang-Duy Nguyen, Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
  10. 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)
  11. 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)
  12. 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)
  13. 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)
  14. Raffaela Groner, Katharina Juhnke, Stefan Götz, Matthias Tichy, Steffen Becker, Vijayshree Vijayshree, Sebastian Frank, A Survey on the Relevance of the Performance of Model Transformations, pp. 2:1-27, PDF, DOI. Volume 20, no. 2 ( 2021)
  15. 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)
  16. 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)
  17. 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)
  18. 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)
  19. 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)
  20. 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)
  21. 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)
  22. 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)
  23. Fiona Polack, Kieran Alden, On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  24. 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)
  25. Alexander Knapp, María Victoria Cengarle, 2-Term Charters, pp. 3:1-12, PDF, DOI. Volume 19, no. 3 (October 2020)
  26. 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)
  27. 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)
  28. Mira Balaban, Igal Khitron, Michael Kifer, Logic-based Software Modeling with FOML, pp. 3:1-21, PDF, DOI. Volume 19, no. 3 (October 2020)
  29. 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)
  30. 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)
  31. 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)
  32. 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)
  33. 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)
  34. Stefan Götz, Matthias Tichy, Investigating the Origins of Complexity and Expressiveness in ATL Transformations, pp. 12:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  35. Angela Barriga, Adrian Rutle, Rogardt Heldal, Improving Model Repair through Experience Sharing, pp. 13:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  36. 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)
  37. 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)
  38. 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)
  39. Alfonso Pierantonio, Mark van den Brand, Benoit Combemale, Open Access: all you wanted to know and never dared to ask, pp. 1-4, PDF, DOI. Volume 19, no. 1 ( 2020)
  40. Anthony Anjorin, Regina Hebig, The 12th International Conference on Model Transformations (ICMT 2019), pp. 1-2, PDF, DOI. Volume 18, no. 3 (July 2019)
  41. 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)
  42. 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)
  43. Heiko Klare, Torsten Syma, Erik Burger, Ralf Reussner, A Categorization of Interoperability Issues in Networks of Transformations, pp. 4:1-20, PDF, DOI. Volume 18, no. 3 (July 2019)
  44. Nisha Desai, Martin Gogolla, Developing Comprehensive Postconditions Through a Model Transformation Chain, pp. 5:1-18, PDF, DOI. Volume 18, no. 3 (July 2019)
  45. 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)
  46. 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)
  47. 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)
  48. Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen, Executing Multilevel Domain-Specific Models in Maude, pp. 4:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  49. 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)
  50. 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)
  51. 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)
  52. Alcino Cunha, Ekkart Kindler, Bidirectional Transformations (BX 2015) Editorial, pp. 1-2, PDF, DOI. Volume 16, no. 1 (February 2017)
  53. Faris Abou-Saleh, James McKinna, Jeremy Gibbons, Coalgebraic Aspects of Bidirectional Computation, pp. 1:1-29, PDF, DOI. Volume 16, no. 1 (February 2017)
  54. Michael Johnson, Robert Rosebrugh, Symmetric delta lenses and spans of asymmetric delta lenses, pp. 2:1-32, PDF, DOI. Volume 16, no. 1 (February 2017)
  55. 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)
  56. Stephen Schaub, Brian A. Malloy, The Design and Evaluation of an Interoperable Translation System for Object-Oriented Software Reuse, pp. 1:1-33, PDF, DOI. Volume 15, no. 4 (August 2016)
  57. Christian Quesada-López, Marcelo Jenkins, Function Point Structure and Applicability: A Replicated Study, pp. 2:1-26, PDF, DOI. Volume 15, no. 3 (June 2016)
  58. 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)
  59. 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)
  60. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  61. 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)
  62. 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)
  63. 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)
  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. 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)
  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. Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara, Extreme Modelling (XM) 2012 Special Section, HTML, DOI. Volume 13, no. 3 (July 2014)
  68. Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
  69. Yannis Lilis, Anthony Savidis, Aspects for Stages: Cross Cutting Concerns for Metaprograms, pp. 1:1-36, PDF, DOI. Volume 13, no. 1 (March 2014)
  70. Erwann Wernli, Mircea Lungu, Oscar Nierstrasz, Incremental Dynamic Updates with First-class Contexts, pp. 1:1-27, PDF, DOI. Volume 12, no. 3 (August 2013)
  71. Oscar Nierstrasz, Farewell editorial, HTML, DOI. Volume 12, no. 1 (January 2013)
  72. 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)
  73. Oscar Nierstrasz, A short JOT status report, HTML, DOI. Volume 11, no. 2 (August 2012)
  74. 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)
  75. Jordi Cabot, Eelco Visser, ICMT 2011 Special Section, HTML, DOI. Volume 11, no. 2 (August 2012)
  76. 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)
  77. 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)
  78. Steffen Zschaler, European Research Project Symposium at ECOOP 2011, HTML, DOI. Volume 11, no. 1 (April 2012)
  79. Matthias Diehn Ingesman, Erik Ernst, Lifted Java: A Minimal Calculus for Translation Polymorphism, pp. 2:1-23, PDF, DOI. Volume 11, no. 1 (April 2012)
  80. 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)
  81. 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)
  82. Oscar Nierstrasz, JOT needs you!, HTML, DOI. Volume 10, (2011)
  83. Laurence Tratt, Martin Gogolla, ICMT 2010 Special Section, HTML, DOI. Volume 10, (2011)
  84. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  85. 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)
  86. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
  87. Roy Grønmo, Birger Møller-Pedersen, From UML 2 Sequence Diagrams to State Machines by Graph Transformation, pp. 8:1-22, PDF, DOI. Volume 10, (2011)
  88. 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)
  89. Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI. Volume 10, (2011)
  90. Martin Rytter, Bo Nørregaard Jørgensen, Enhancing NetBeans with Transparent Fault Tolerance Using Meta-Level Architecture, pp. 55-73, PDF, DOI. Volume 9, no. 5 (September 2010)
  91. 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)
  92. Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp, Extending Scala with Database Query Capability, pp. 45-68, PDF, DOI. Volume 9, no. 4 (July 2010)
  93. Rainer Hauser, Analysis and Transformation of Behavioral Models Containing Overlapped Patterns, pp. 105-124, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  94. Douglas Lyon, The Discrete Fourier Transform, Part 6: Cross-Correlation, pp. 17-22, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  95. Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  96. 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)
  97. Raymond Wu, Masayuki Hisada, SOA Web Security and Applications, pp. 163-177, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  98. Douglas Lyon, The Discrete Fourier Transform, Part 5: Spectrogram, pp. 15-24, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  99. 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)
  100. Douglas Lyon, The Discrete Fourier Transform, Part 4: Spectral Leakage, pp. 23-34, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  101. Douglas Lyon, The Discrete Fourier Transform, Part 3: The PSD, pp. 17-30, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  102. Douglas Lyon, The Discrete Fourier Transform, Part 2: Radix 2 FFT, pp. 21-33, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  103. Mahesh H. Dodani, The Five-Step Program To Cloud!, pp. 35-43, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  104. 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)
  105. Douglas Lyon, The Discrete Fourier Transform, Part 1, pp. 17-26, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  106. Mahesh H. Dodani, Get Your Head In The Clouds!, pp. 27-36, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  107. Richard Wiener, WCF: A Case Study Involving a Distributed Client/Server Game, pp. 71-90, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  108. Farid Mokhati, Mourad Badri, Generating Maude Specifications From UML Use Case Diagrams, pp. 119-136, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  109. Mahesh H. Dodani, Keeping Enterprises' Head Above The Clouds!, pp. 55-63, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  110. 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)
  111. Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte, A Static Analysis to Detect Re-Entrancy in Object Oriented Programs, pp. 5-23, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  112. Chieri Saito, Atsushi Igarashi, The Essence of Lightweight Family Polymorphism, pp. 67-99, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  113. Laurence Tratt, A change propagating model transformation Language, pp. 107-126, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
  114. Patrice Gagnon, Farid Mokhati, Mourad Badri, Applying Model Checking to Concurrent UML Models, pp. 59-84, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  115. 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)
  116. 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)
  117. Jean Bézivin, Bertrand Meyer, Editorial Special Issue , PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  118. Kevin Lano, David Clark, Direct Semantics of Extended State Machines, pp. 35-51, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  119. Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polac, Louis M. Rose, Update Transformations in the Small with the Epsilon Wizard Language, pp. 53-69, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  120. 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)
  121. 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)
  122. Marcus Denker, Stéphane Ducasse, Adrian Lienhard, Philippe Marschall, Sub-Method Reflection, pp. 231-251, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  123. 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)
  124. 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)
  125. Frans A. Henskens, Maurice G. Ashton, Graph-based Optimistic Transaction Management, pp. 131-148, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  126. Laurent Balmelli, The Systems Modeling Language for Products and Systems Development, pp. 149-177, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  127. Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri, Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols, pp. 77-102, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  128. Antoine Beugnard, Salah Sadou, Method overloading and overriding cause distribution transparency and encapsulation flaws, pp. 31-45, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  129. Alan Ward, Encrypting the Java Serialized Object, pp. 49-57, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  130. Dragan Djuric, Dragan Gaševi, Vladan Devedžic, The Tao of Modeling Spaces, pp. 125-147, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  131. Horatiu Jula, Alternative Implementation of the C# Iterator Blocks, pp. 33-41, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  132. John Boyland, Why we should not add readonly to Java (yet), pp. 5-29, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  133. 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)
  134. David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  135. 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)
  136. Brian Henderson-Sellers, Cesar Gonzalez-Perez, Connecting Powertypes and Stereotypes, pp. 83-96, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  137. Michal Smialek, Accommodating Informality with Necessary Precision in Use Case Scenarios, pp. 59-67, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  138. Won Kim, On Digital Convergence and Challenges, pp. 67-71, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
  139. Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  140. Brian Henderson-Sellers, Quynh-Nhu Numi Tran, John Debenham, An Etymological and Metamodel-Based Evaluation of the Terms ‘Goals and Tasks’ in Agent-Oriented Methodologies, pp. 131-150, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
  141. Dave Thomas, Refactoring as Meta Programming?, pp. 7-11, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)
  142. Liliana Favre, Foundations for MDA-based Forward Engineering, pp. 129-153, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)
  143. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini, On Re-classification and Multi-threading, pp. 5-30, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
  144. Sonia Fagorzi, Elena Zucca, A Case-Study in Encoding Configuration Languages: Multiple Class Loaders, pp. 31-54, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
  145. 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)
  146. Apostolos Zarras, Online Upgrade of Object-Oriented Middleware, pp. 121-140, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  147. Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
  148. Won Kim, On the Offshore Outsourcing of IT Projects: Status and Issues, pp. 21-26, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  149. Giuseppe Attardi, Antonio Cisternino, Diego Colombo, CIL + Metadata > Executable Program, pp. 19-26, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
  150. Frank Piessens, Bart Jacobs, Eddy Truyen, Wouter Joosen, Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature, pp. 27-35, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
  151. Won Kim, On The Spam Scourge, pp. 55-59, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  152. Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  153. Myron Sheu, Xin (James) He, Object-Oriented Intelligent Mechanism - Vital for the Success of E-Commerce, pp. 101-112, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  154. Bertrand Meyer, Proving Pointer Program Properties. Part 2: The Overall Object Structure, pp. 77-100, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  155. Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview, pp. 87-108, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  156. Bertrand Meyer, On an open issue of programming language phonetics, pp. 109-110, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  157. Gilles Ardourel, Michael Huchard, Access Graphs, pp. 95-116, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  158. Douglas Lyon, CentiJ: An RMI Code Generator, pp. 117-148, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  159. Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen, In memory of Ole-Johan Dahl and Kristen Nygaard, pp. 7-15, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  160. Timothy R. Culp, Easing the Transition from C++ to Java (Part 2), pp. 59-73, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  161. Jesús García Molina, María José Ortín, Begoña Moros, Joaquín Nicolás, Transforming the OOram Three-Model Architecture into a UML-based Process, pp. 119-136, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  162. Christine Mingins, Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  163. Timothy R. Culp, Easing the Transition from C++ to Java (Part 1), pp. 79-93, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  164. Bertrand Meyer, The Start of an Eiffel Standard, pp. 95-99, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact