Articles matching “Tran”

  1. 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)
  2. Alcino Cunha, Ekkart Kindler, Bidirectional Transformations (BX 2015) Editorial, pp. 1-2, PDF, DOI. Volume 16, no. 1 (February 2017)
  3. Faris Abou-Saleh, James McKinna, Jeremy Gibbons, Coalgebraic Aspects of Bidirectional Computation, pp. 1:1-29, PDF, DOI. Volume 16, no. 1 (February 2017)
  4. 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)
  5. James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens, On principles of Least Change and Least Surprise for bidirectional transformations, pp. 3:1-31, PDF, DOI. Volume 16, no. 1 (February 2017)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  11. 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)
  12. 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)
  13. 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)
  14. 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)
  15. 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)
  16. 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)
  17. Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara, Extreme Modelling (XM) 2012 Special Section, HTML, DOI. Volume 13, no. 3 (July 2014)
  18. Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
  19. Yannis Lilis, Anthony Savidis, Aspects for Stages: Cross Cutting Concerns for Metaprograms, pp. 1:1-36, PDF, DOI. Volume 13, no. 1 (March 2014)
  20. 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)
  21. Oscar Nierstrasz, Farewell editorial, HTML, DOI. Volume 12, no. 1 (January 2013)
  22. 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)
  23. Oscar Nierstrasz, A short JOT status report, HTML, DOI. Volume 11, no. 2 (August 2012)
  24. 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)
  25. Jordi Cabot, Eelco Visser, ICMT 2011 Special Section, HTML, DOI. Volume 11, no. 2 (August 2012)
  26. 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)
  27. 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)
  28. Steffen Zschaler, European Research Project Symposium at ECOOP 2011, HTML, DOI. Volume 11, no. 1 (April 2012)
  29. 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)
  30. 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)
  31. 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)
  32. Oscar Nierstrasz, JOT needs you!, HTML, DOI. Volume 10, (2011)
  33. Laurence Tratt, Martin Gogolla, ICMT 2010 Special Section, HTML, DOI. Volume 10, (2011)
  34. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  35. 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)
  36. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
  37. 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)
  38. 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)
  39. Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI. Volume 10, (2011)
  40. 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)
  41. 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)
  42. Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp, Extending Scala with Database Query Capability, pp. 45-68, PDF, DOI. Volume 9, no. 4 (July 2010)
  43. Rainer Hauser, Analysis and Transformation of Behavioral Models Containing Overlapped Patterns, pp. 105-124, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  44. Douglas Lyon, The Discrete Fourier Transform, Part 6: Cross-Correlation, pp. 17-22, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  45. Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  46. 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)
  47. Raymond Wu, Masayuki Hisada, SOA Web Security and Applications, pp. 163-177, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  48. Douglas Lyon, The Discrete Fourier Transform, Part 5: Spectrogram, pp. 15-24, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  49. 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)
  50. Douglas Lyon, The Discrete Fourier Transform, Part 4: Spectral Leakage, pp. 23-34, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  51. Douglas Lyon, The Discrete Fourier Transform, Part 3: The PSD, pp. 17-30, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  52. Douglas Lyon, The Discrete Fourier Transform, Part 2: Radix 2 FFT, pp. 21-33, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  53. Mahesh H. Dodani, The Five-Step Program To Cloud!, pp. 35-43, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  54. 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)
  55. Douglas Lyon, The Discrete Fourier Transform, Part 1, pp. 17-26, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  56. Mahesh H. Dodani, Get Your Head In The Clouds!, pp. 27-36, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  57. Richard Wiener, WCF: A Case Study Involving a Distributed Client/Server Game, pp. 71-90, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  58. Farid Mokhati, Mourad Badri, Generating Maude Specifications From UML Use Case Diagrams, pp. 119-136, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  59. Mahesh H. Dodani, Keeping Enterprises' Head Above The Clouds!, pp. 55-63, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  60. 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)
  61. 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)
  62. Chieri Saito, Atsushi Igarashi, The Essence of Lightweight Family Polymorphism, pp. 67-99, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  63. Laurence Tratt, A change propagating model transformation Language, pp. 107-126, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
  64. 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)
  65. Till Bay, Micheal 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)
  66. 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)
  67. Jean Bézivin, Bertrand Meyer, Editorial Special Issue , PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  68. Kevin Lano, David Clark, Direct Semantics of Extended State Machines, pp. 35-51, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  69. 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)
  70. 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)
  71. 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)
  72. Marcus Denker, Stéphane Ducasse, Adrian Lienhard, Philippe Marschall, Sub-Method Reflection, pp. 231-251, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  73. 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)
  74. 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)
  75. Frans A. Henskens, Maurice G. Ashton, Graph-based Optimistic Transaction Management, pp. 131-148, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  76. Laurent Balmelli, The Systems Modeling Language for Products and Systems Development, pp. 149-177, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  77. 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)
  78. 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)
  79. Alan Ward, Encrypting the Java Serialized Object, pp. 49-57, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  80. 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)
  81. Horatiu Jula, Alternative Implementation of the C# Iterator Blocks, pp. 33-41, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  82. John Boyland, Why we should not add readonly to Java (yet), pp. 5-29, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  83. 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)
  84. David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  85. 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)
  86. Brian Henderson-Sellers, Cesar Gonzalez-Perez, Connecting Powertypes and Stereotypes, pp. 83-96, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  87. Michal Smialek, Accommodating Informality with Necessary Precision in Use Case Scenarios, pp. 59-67, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  88. Won Kim, On Digital Convergence and Challenges, pp. 67-71, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
  89. Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  90. 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)
  91. Dave Thomas, Refactoring as Meta Programming?, pp. 7-11, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)
  92. Liliana Favre, Foundations for MDA-based Forward Engineering, pp. 129-153, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)
  93. 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)
  94. 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)
  95. 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)
  96. Apostolos Zarras, Online Upgrade of Object-Oriented Middleware, pp. 121-140, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  97. Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
  98. Won Kim, On the Offshore Outsourcing of IT Projects: Status and Issues, pp. 21-26, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  99. Giuseppe Attardi, Antonio Cisternino, Diego Colombo, CIL + Metadata > Executable Program, pp. 19-26, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
  100. 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)
  101. Won Kim, On The Spam Scourge, pp. 55-59, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  102. Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  103. 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)
  104. Bertrand Meyer, Proving Pointer Program Properties. Part 2: The Overall Object Structure, pp. 77-100, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
  105. Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview, pp. 87-108, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  106. Bertrand Meyer, On an open issue of programming language phonetics, pp. 109-110, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  107. Gilles Ardourel, Michael Huchard, Access Graphs, pp. 95-116, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  108. Douglas Lyon, CentiJ: An RMI Code Generator, pp. 117-148, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  109. Bertrand Meyer, Kisten 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)
  110. Timothy R. Culp, Easing the Transition from C++ to Java (Part 2), pp. 59-73, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  111. 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)
  112. Christine Mingins, Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  113. Timothy R. Culp, Easing the Transition from C++ to Java (Part 1), pp. 79-93, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
  114. 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