Articles matching “Ali”

  1. 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)
  2. 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)
  3. Nisha Desai, Martin Gogolla, Developing Comprehensive Postconditions Through a Model Transformation Chain, pp. 5:1-18, PDF, DOI. Volume 18, no. 3 (July 2019)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. 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)
  12. 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)
  13. 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)
  14. 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)
  15. 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)
  16. 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)
  17. Faris Abou-Saleh, James McKinna, Jeremy Gibbons, Coalgebraic Aspects of Bidirectional Computation, pp. 1:1-29, PDF, DOI. Volume 16, no. 1 (February 2017)
  18. 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)
  19. 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)
  20. 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)
  21. 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)
  22. 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)
  23. 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)
  24. Eugene Syriani, Manuel Wimmer, VOLT 2012/2013 Special Section, HTML, DOI. Volume 14, no. 3 (August 2015)
  25. 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)
  26. 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)
  27. 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)
  28. 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)
  29. 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)
  30. 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)
  31. 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)
  32. Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
  33. 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)
  34. Laurence Tratt, The Song Remains (Almost) The Same, HTML, DOI. Volume 13, no. 2 (June 2014)
  35. Yannis Lilis, Anthony Savidis, Aspects for Stages: Cross Cutting Concerns for Metaprograms, pp. 1:1-36, PDF, DOI. Volume 13, no. 1 (March 2014)
  36. 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)
  37. Jan Vitek, Changing of the Guard, HTML, DOI. Volume 12, no. 2 (June 2013)
  38. 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)
  39. 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)
  40. 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)
  41. 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)
  42. 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)
  43. 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)
  44. 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)
  45. Olivier Zendra, Markku Sakkinen, ICOOLPS 2010 and MASPEGHI 2010, HTML, DOI. Volume 11, no. 3 (October 2012)
  46. 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)
  47. 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)
  48. 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)
  49. Antonio Vallecillo, Judith Bishop, TOOLS Europe 2011 Special Section, HTML, DOI. Volume 11, no. 1 (April 2012)
  50. 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)
  51. 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)
  52. Javier Troya, Antonio Vallecillo, A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI. Volume 10, (2011)
  53. 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)
  54. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
  55. 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)
  56. Anya Helene Bagge, Valentin David, Magne Haveraaen, Testing with Axioms in C++ 2011, pp. 10:1-32, PDF, DOI. Volume 10, (2011)
  57. Antonio Vallecillo, On JOT Special Sections, HTML, DOI. Volume 10, (2011)
  58. Lone Leth Thomsen, Bent Thomsen, Kurt Nørmark, Computational Abstraction Steps, pp. 1-23, PDF, DOI. Volume 9, no. 6 (November 2010)
  59. 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)
  60. 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)
  61. Tushar Sharma, Dharanipragada Janakiram, Inferring design patterns using the ReP graph, pp. 95-110, PDF, DOI. Volume 9, no. 5 (September 2010)
  62. 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)
  63. 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)
  64. John McGregor, It's a Small World — Globalization, pp. 7-17, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  65. Douglas Lyon, Semantic Annotation for Java, pp. 19-29, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  66. Mahesh Dodani, On ‘Cloud Nine’ Through Architecture, pp. 31-39, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  67. 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)
  68. Rainer Hauser, Analysis and Transformation of Behavioral Models Containing Overlapped Patterns, pp. 105-124, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  69. Douglas Lyon, The Discrete Fourier Transform, Part 6: Cross-Correlation, pp. 17-22, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  70. Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  71. 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)
  72. Raymond Wu, Masayuki Hisada, SOA Web Security and Applications, pp. 163-177, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
  73. John D. McGregor, Intentionality, pp. 7-13, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  74. 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)
  75. 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)
  76. 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)
  77. Mahesh H. Dodani, Cloud Architecture, pp. 35-44, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  78. 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)
  79. Stéphane S. Somé, A Meta-Model for Textual Use Case Description, pp. 87-106, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
  80. 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)
  81. Mahesh H. Dodani, Cloud Redux, pp. 31-38, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  82. Richard Wiener, Ant Colony System Optimization, pp. 39-58, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  83. 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)
  84. John D. McGregor, Goal-driven Product Derivation, pp. 7-19, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  85. Mahesh H. Dodani, The Five-Step Program To Cloud!, pp. 35-43, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  86. Sven Apel, Christian Kästner, An Overview of Feature-Oriented Software Development, pp. 49-84, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  87. 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)
  88. 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)
  89. Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  90. John D. McGregor, Strategic Software Engineering, pp. 7-15, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  91. John D. McGregor, Variation Verification, pp. 7-14, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  92. 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)
  93. 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)
  94. John D. McGregor, Modeling Software, pp. 7-22, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  95. 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)
  96. 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)
  97. Jaiprakash T. Lallchandani, R. Mall, Static Slicing of UML Architectural Models, pp. 159-188, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
  98. 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)
  99. 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)
  100. John D. McGregor, Agile Software Product Lines, Deconstructed, pp. 7-19, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  101. Mahesh H. Dodani, What's Your Information Agenda?, pp. 41-49, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  102. Harshavardhan Jegadeesan, Sundar Balasubramaniam, An MOF2-based Services Metamodel, pp. 71-96, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
  103. 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)
  104. John D. McGregor, Qualitative SIMPLE, pp. 7-16, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
  105. 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)
  106. Mahesh H. Dodani, Aligning IT to Business Through Architecture, pp. 1-8, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
  107. 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)
  108. 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)
  109. 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)
  110. Vincent Cremet, Philippe Altherr, Adding Type Constructor Parameterization to Java, pp. 25-65, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
  111. Mahesh H. Dodani, The Architecture of Business, pp. 43-50, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  112. Charles Ashbacher, Adrenaline Junkies and Template Zombies: Understanding Patterns of Project Behavior, pp. 65-66, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
  113. 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)
  114. Robert Hirschfeld, Pascal Costanza, Oscar Nierstrasz, Context-oriented Programming, pp. 125-151, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
  115. 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)
  116. Douglas Gregor, Jaakko Järvi, Variadic Templates for C++0x, pp. 31-51, PDF, HTML, DOI. Volume 7, no. 2 (February 2008)
  117. Luca Vetti Tagliati, Carlo Caloro, UML and Object Oriented Drama, pp. 85-101, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  118. 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)
  119. 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)
  120. 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)
  121. Assel Akzhalova, Assel Altayeva, Nurzhan Duzbayev, Model Driven Prediction and Control, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
  122. 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)
  123. John D. McGregor, Value, pp. 9-15, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  124. 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)
  125. 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)
  126. 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)
  127. 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)
  128. Friedrich Steimann, Philip Mayer, Type Access Analysis: Towards Informed Interface Design, pp. 147-164, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  129. Jaroslaw D. M. Kúsmierek, Viviana Bono, Hygienic methods — Introducing HygJava, pp. 209-229, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  130. 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)
  131. 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)
  132. Viviana Bono, Jaroslaw D. M. Kúsmierek, Modularizing constructors, pp. 297-317, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  133. Michihiro Horie, Shigeru Chiba, AspectScope: An Outline Viewer for AspectJ Programs, pp. 341-361, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  134. 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)
  135. 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)
  136. 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)
  137. Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
  138. 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)
  139. Tarig Mohamed Ahmed, Increasing Mobile Agent Performance by Using Free Areas Mechanism, pp. 125-140, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  140. Tobias Wrigstad, Dave Clarke, Existential Owners for Ownership Types, pp. 141-159, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  141. 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)
  142. Atsushi Igarashi, Hideshi Nagira, Union Types for Object-Oriented Programming, pp. 47-68, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
  143. Mahesh H. Dodani, Where's the (Business) Beef?, pp. 59-64, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  144. Donald Firesmith, Requirements Engineering Tasks, pp. 21-29, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  145. Mahesh H. Dodani, SOA 2006: State Of The Art, pp. 41-48, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  146. Alan Ward, Encrypting the Java Serialized Object, pp. 49-57, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
  147. 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)
  148. Won Kim, On Designing Software Architectures, pp. 27-32, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  149. 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)
  150. 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)
  151. 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)
  152. Won Kim, On Assuring Software Quality and Curbing Software Development Cost, pp. 35-42, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  153. Vitaly Khusidman, David M. Bridgeland, A Classification Framework for Software Reuse, pp. 43-61, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  154. John Boyland, Why we should not add readonly to Java (yet), pp. 5-29, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  155. Adam Darvas, Peter Müller, Reasoning About Method Calls in Interface Specifications, pp. 59-85, PDF, HTML, DOI. Volume 5, no. 5 (June 2006)
  156. Mahesh H. Dodani, Who Took the Cookie from the Cookie Jar?, pp. 23-28, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  157. 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)
  158. 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)
  159. 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)
  160. 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)
  161. Donald Firesmith, Peter Capell, Architecture-Related Requirements, pp. 61-73, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  162. 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)
  163. 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)
  164. W. Al-Ahmad, Object-Oriented Design Patterns for Detailed Design, pp. 155-169, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  165. 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)
  166. Mahesh H. Dodani, Change Happens!, pp. 39-44, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  167. Won Kim, On Addressing the Computer Science Crisis, pp. 45-49, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  168. Donald Firesmith, Quality Requirements Checklist, pp. 31-38, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
  169. 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)
  170. 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)
  171. Neal Glew, Jens Palsberg, Method Inlining, Dynamic Class Loading, and Type Soundness, pp. 33-53, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  172. Alessandro Coglio, Checking Access to Protected Members in the Java Virtual Machine, pp. 55-76, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  173. David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  174. 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)
  175. 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)
  176. 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)
  177. Bruce Anderson, Formalism, technique and rigour in Use Case Modelling, pp. 15-28, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  178. 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)
  179. 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)
  180. Michal Smialek, Accommodating Informality with Necessary Precision in Use Case Scenarios, pp. 59-67, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
  181. 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)
  182. 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)
  183. 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)
  184. Liwu Li, An Implementation of the p-Calculus on the .NET, pp. 139-158, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
  185. Saverio Perugini, Naren Ramakrishnan, Personalization by Program Slicing, pp. 5-11, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  186. Michael Eichberg, Component-Based Software Development with Aspect-Oriented Programming, pp. 21-26, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  187. Wes Lloyd, A Common Criteria Based Approach for COTS Component Selection, pp. 25-32, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  188. 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)
  189. Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
  190. Herbert Toth, On theory and practice of Assertion Based Software Development, pp. 109-129, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
  191. 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)
  192. 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)
  193. 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)
  194. 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)
  195. 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)
  196. 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)
  197. Amar Ramdane-Cherif, Nicole Levy, Francisca Losavio, Agent Paradigm for Adaptable Architecture, pp. 169-182, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
  198. Apostolos Zarras, Online Upgrade of Object-Oriented Middleware, pp. 121-140, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
  199. 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)
  200. John D. McGregor, Software Architecture, pp. 65-77, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  201. Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  202. 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)
  203. Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  204. Dave Thomas, The Elusive Search for Business Frameworks, pp. 7-13, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  205. Donald Firesmith, Specifying Reusable Security Requirements, pp. 61-75, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  206. Richard Wiener, Remoting in C# and .NET, pp. 83-100, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  207. 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)
  208. Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
  209. Osvaldo Pinali Doederlein, The Tale of Java Performance, pp. 17-40, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  210. Donald Firesmith, Using Quality Models to Engineer Quality Requirements, pp. 67-75, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  211. Liping Zhao, James O. Coplien, Understanding Symmetry in Object-Oriented Languages, pp. 123-134, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
  212. Mahesh H. Dodani, The Best Practice Promise and Myth, pp. 65-68, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  213. Won Kim, Byoungju Choi, Towards Quantifying Data Quality Costs, pp. 69-76, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  214. Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
  215. Won Kim, A Retrospection On Niche Database Technologies, pp. 35-42, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
  216. 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)
  217. 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)
  218. 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)
  219. Gonzalo Génova, Juan Llorens, Vicente Palacios, Sending Messages in UML, pp. 99-115, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
  220. Francisca Losavio, Quality Models to Design Software Architecture, pp. 165-178, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
  221. Juliana Küster Filipe, A logic-based Formalization for Component Specification, pp. 231-248, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  222. 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)
  223. Dave Thomas, The Deplorable State of Class Libraries, pp. 21-27, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
  224. Won Kim, Personalization: Definition, Status, and Challenges Ahead, pp. 29-40, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
  225. 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