Articles matching “Yin”
- Roland Wismüller, Damian Ludwig, Felix Breitweiser, Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities, pp. 1:1-36, PDF, DOI. Volume 23, no. 1 ( 2024)
- Manfred Broy, Bran Selić, Specifying and Composing Layered Architectures, pp. 1:1-24, PDF, DOI. Volume 23, no. 1 ( 2024)
- Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher, Olivier Barais, An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- Edvin Herac, Luciano Marchezan, Wesley K. G. Assunção, Alexander Egyed, Conflict-based Change Awareness for Collaborative Model-driven Software Engineering, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- 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)
- 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)
- Antonio Bucchiarone, Claudiu Ciumedean, Kemal Soysal, Nicola Dragoni, Václav Pech, MaGiC: a DSL Framework for Implementing Language Agnostic Microservice-based Web Applications, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
- Manouchehr Zadahmad Jafarlou, Eugene Syriani, Omar Alam, From two-way to three-way: domain-specific model differencing and conflict detection, pp. 1:1-29, PDF, DOI. Volume 22, no. 1 ( 2023)
- José A. Barriga, José M. Chaves-González, Arturo Barriga, Pablo Alonso, Pedro J. Clemente, Simulate IoT Towards the Cloud-to-Thing Continuum Paradigm for Task Scheduling Assessments, pp. 1:1-31, PDF, DOI. Volume 22, no. 1 ( 2023)
- Jan Willem Wittler, Timur Saglam, Thomas Kühn, Evaluating Model Differencing for the Consistency Preservation of State-based Views, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
- 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)
- 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)
- 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)
- María-José Escalona, Nora Parcus de Koch, Gustavo Rossi, A Quantitative SWOT-TOWS Analysis for the Adoption of Model-Based Software Engineering, pp. 4:1-15, PDF, DOI. Volume 21, no. 4 (October 2022)
- 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)
- 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)
- Nico Jansen, Jérôme Pfeiffer, Bernhard Rumpe, David Schmalzing, Andreas Wortmann, The Language of SysML v2 under the Magnifying Glass, pp. 3:1-15, PDF, DOI. Volume 21, no. 3 (July 2022)
- 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)
- Omar Badreddin, Khandoker Rahad, Andrew Forward, Timothy Lethbridge, The Evolution of Software Design Practices Over a Decade: A Long Term Study of Practitioners, pp. 2:1-19, PDF, DOI. Volume 20, no. 2 ( 2021)
- Paula Muñoz, Priyanka Karkhanis, Mark van den Brand, Antonio Vallecillo, Modeling Objects with Uncertain Behaviors, pp. 8:1-16, PDF, DOI. Volume 20, no. 3 (June 2021)
- 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)
- 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)
- 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)
- Fiona Polack, Kieran Alden, On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
- Robert Clarisó, Carlos A. González, Jordi Cabot, Incremental Verification of UML/OCL Models, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
- Tony Clark, A Meta-Circular Basis for Model-Based Language Engineering, pp. 3:1-18, PDF, DOI. Volume 19, no. 3 (October 2020)
- 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)
- Alexandra Mazak, Sabine Wolny, Abel Gómez, Jordi Cabot, Manuel Wimmer, Gerti Kappel, Temporal Models on Time Series Databases, pp. 3:1-15, PDF, DOI. Volume 19, no. 3 (October 2020)
- Ed Willink, Reflections on OCL 2, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
- Mira Balaban, Igal Khitron, Michael Kifer, Logic-based Software Modeling with FOML, pp. 3:1-21, PDF, DOI. Volume 19, no. 3 (October 2020)
- Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale, Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages, pp. 1:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
- 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)
- Angela Barriga, Adrian Rutle, Rogardt Heldal, Improving Model Repair through Experience Sharing, pp. 13:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
- Steven Costiou, Mickaël Kerboeuf, Clotilde Toullec, Alain Plantec, Stéphane Ducasse, Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs, pp. 1:1-32, PDF, DOI. Volume 19, no. 1 ( 2020)
- Eugene Syriani, Robert Bill, Manuel Wimmer, Domain-Specific Model Distance Measures, pp. 3:1-19, PDF, DOI. Volume 18, no. 3 (July 2019)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Tim Felgentreff, Alan Borning, Robert Hirschfeld, Specifying and Solving Constraints on Object Behavior, pp. 1:1-38, PDF, DOI. Volume 13, no. 4 (September 2014)
- Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, PDF, DOI. Volume 13, no. 3 (July 2014)
- Konstantinos Barmpis, Dimitrios S. Kolovos, Evaluation of Contemporary Graph Databases for Efficient Persistence of Large-Scale Models, pp. 3:1-26, PDF, DOI. Volume 13, no. 3 (July 2014)
- Conrad Bock, Raphael Barbau, Anantha Narayanan, BPMN Profile for Operational Requirements , pp. 2:1-35, PDF, DOI. Volume 13, no. 2 (June 2014)
- Yannis Lilis, Anthony Savidis, Aspects for Stages: Cross Cutting Concerns for Metaprograms, pp. 1:1-36, PDF, DOI. Volume 13, no. 1 (March 2014)
- 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)
- Richard Paige, Louis Rose, Lies, Damned Lies and UML2Java, HTML, DOI. Volume 12, no. 1 (January 2013)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Conrad Bock, James Odell, Ontological Behavior Modeling, pp. 3:1-36, PDF, DOI. Volume 10, (2011)
- 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)
- Antonio Vallecillo, On JOT Special Sections, HTML, DOI. Volume 10, (2011)
- Michael Haupt, Stefan Marr, Robert Hirschfeld, CSOM/PL — A Virtual Machine Product Line, pp. 12:1-30, PDF, DOI. Volume 10, (2011)
- Nicholas Nguyen, SPath: an extensible query-language for Scala, pp. 13:1-37, PDF, DOI. Volume 10, (2011)
- Arun Mishra, A.K. Misra, Dynamic adaptability with .NET service components, pp. 75-94, PDF, DOI. Volume 9, no. 5 (September 2010)
- Tushar Sharma, Dharanipragada Janakiram, Inferring design patterns using the ReP graph, pp. 95-110, PDF, DOI. Volume 9, no. 5 (September 2010)
- 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)
- Richard Wiener, Ant Colony System Optimization, pp. 39-58, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
- Mahesh H. Dodani, The Five-Step Program To Cloud!, pp. 35-43, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
- Dave Thomas, Functional Programming — Crossing The Chasm?, pp. 45-48, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
- J. Narsoo, M. S. Sunhaloo, R. Thomas, The Application of Design Patterns to Develop Games for Mobile Devices using Java 2 Micro Edition, pp. 153-175, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
- Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino, Securing Java with Local Policies, pp. 5-32, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
- Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
- Marco Tulio Valente, Marcelo Nassau Malta, Samuel Domingues, Guidelines for Enabling the Extraction of Aspects from Existing Object-Oriented Code, pp. 101-119, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
- Harshavardhan Jegadeesan, Sundar Balasubramaniam, A Model-driven Approach to Service Policies, pp. 163-186, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
- John D. McGregor, Agile Software Product Lines, Deconstructed, pp. 7-19, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
- Ying Zou, Michael Lerner, Alex Leung, Scott Morisson, Matt Wringe, Adapting the User Interface of Integrated Development Environments (IDEs) for Novice Users, pp. 55-74, PDF, HTML, DOI. Volume 7, no. 7 (September 2008)
- Mark Strembeck, Uwe Zdun, Modeling Interdependent Concern Behavior Using Extended Activity Models, pp. 143-166, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
- Charles Ashbacher, Adrenaline Junkies and Template Zombies: Understanding Patterns of Project Behavior, pp. 65-66, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
- Trevor Parsons, John Murphy, Detecting Performance Antipatterns in Com-ponent Based Enterprise Systems, pp. 55-90, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
- Robert Hirschfeld, Pascal Costanza, Oscar Nierstrasz, Context-oriented Programming, pp. 125-151, PDF, HTML, DOI. Volume 7, no. 3 (March 2008)
- John D. McGregor, It depends on what you mean by ‘working’, pp. 7-15, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
- Douglas Lyon, A Data Mining Address Book, pp. 15-26, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
- 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)
- Luca Vetti Tagliati, Carlo Caloro, UML and Object Oriented Drama, pp. 85-101, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
- 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)
- Douglas Lyon, Data Mining Historic Stock Quotes in Java, pp. 17-23, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
- Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake, Aspect Refinement — Unifying AOP and Stepwise Refinement, pp. 13-33, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- 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)
- Markus Gaelli, Rafael Wampfler, Oscar Nierstrasz, Composing Tests from Examples, pp. 71-86, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- Sofie Goderis, Dirk Deridder, Ellen Van Paesschen, Theo D'Hondt, DEUCE : A Declarative Framework for Extricating User Interface Concerns, pp. 87-104, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- 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)
- J. Rául Romero, José E. Rivera, Francisco Durán, Antonio Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude, pp. 187-207, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- 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)
- 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)
- Andreas Leitner, Patrick Eugster, Manuel Oriol, Ilinca Ciupa, Reflecting on an Existing Programming Language, pp. 319-339, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- Douglas Lyon, Displaying Updated Stock Quotes, pp. 19-31, PDF, HTML, DOI. Volume 6, no. 8 (September 2007)
- Douglas Lyon, Carl Weiman, Observer-Conditioned-Observable Design Pattern, pp. 15-24, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
- Richard Wiener, A New Software Development Project Using an Old Game, pp. 39-53, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
- Miguel Katrib Mora, Yamil Hernández Saá, Aspect Oriented Programming in .NET. Based on Attributes, pp. 53-70, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
- Nadia Belblidia, Mourad Debbabi, A Dynamic Operational Semantics for JVML, pp. 71-100, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
- C. Anantaram, A Framework to specify Declarative Rules on Objects, Attributes and Associations in the object model, pp. 91-106, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
- N. Dhamayanthi, P. Thangavel, Structural Design Patterns and .NET Framework 2.0, pp. 59-80, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Mariela Cortés, Marcus Fontoura, Carlos Lucena, Framework Evolution Tool, pp. 101-124, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Dragan Djuric, Dragan Gaevi, Vladan Devedžic, The Tao of Modeling Spaces, pp. 125-147, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Hee Beng Kuan, Yong Yang, Lei Bian, Improving the Use of Multiplicity in UML Association, pp. 127-132, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
- Nicu G. Fruja, Egon Börger, Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis, pp. 5-34, PDF, HTML, DOI. Volume 5, no. 3 (April 2006)
- Jan Smans, Bart Jacobs, Frank Piessens, Static Verification of Code Access Security Policy Compliance of .NET Applications, pp. 35-58, PDF, HTML, DOI. Volume 5, no. 3 (April 2006)
- John D. McGregor, Planning before plans, pp. 27-34, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
- 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)
- 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)
- Rémi Forax, Etienne Duri, Gilles Roussel, Reflection-based implementation of Java extensions: the double-dispatch use-case, pp. 49-69, PDF, HTML, DOI. Volume 4, no. 10 (December 2005)
- José Daniel García, Jesús Carretero, José María Pérez, Félix García, Rosa Filgueira, Specifying use case behavior with interaction models, pp. 143-159, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
- 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)
- 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)
- Joaquin Miller, Use Case from the ODP Viewpoint, pp. 109-118, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
- Richard Wiener, Obfuscation and .NET, pp. 73-92, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
- Luigi Lavazza, Alberto Agostini, Automated Measurement of UML Models: an open toolset approach, pp. 115-134, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
- Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
- Douglas Lyon, Java Optimization for Superscalar and Vector Architectures, pp. 27-39, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- Conrad Bock, UML 2 Composition Model, pp. 47-73, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
- Wes Munsil, Case Study: Converting to Java 1.5 Type-Safe Collections, pp. 7-13, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
- Pierre Metz, John O'Brien, Wolfgang Weber, Specifying Use Case Interaction: Clarifying Extension Points and Rejoin Points, pp. 87-102, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
- Apostolos Zarras, A Comparison Framework for Middleware Infrastructures, pp. 103-123, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
- Haitham Hamza, Mohamed E. Fayad, Applying Analysis Patterns Through Analogy: Problems and Solutions, pp. 197-208, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
- Renaud Pawlak, Houman Younessi, On Getting Use Cases and Aspects to Work Together, pp. 15-26, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
- Anthony J.H. Simons, The Theory of Classification, Part 10: Method Combination and Super-Reference, pp. 43-53, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
- Donald Firesmith, Specifying Reusable Security Requirements, pp. 61-75, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
- 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)
- Ashley McNeile, Nicholas Simons, State Machines as Mixins, pp. 85-101, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
- Won Kim, Byoungju Choi, Towards Quantifying Data Quality Costs, pp. 69-76, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
- Donald Firesmith, Specifying Good Requirements, pp. 77-87, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
- Toufik Taibi, David Chek Ling Ngo, Formal Specification of Design Patterns - A Balanced Approach, pp. 127-140, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
- Mahesh H. Dodani, Don't Rip and Replace, Integrate!, pp. 23-31, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Pierre Metz, John O'Brien, Wolfgang Weber, Specifying Use Case Interaction: Types of Alternative Courses, pp. 111-131, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
- 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)
- Dave Thomas, UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes, pp. 7-12, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
- Donald Firesmith, Engineering Security Requirements, pp. 53-68, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
- Patrick Chisan Hew, Streamlined Alogrithm Deployment via JavaBeans, pp. 75-91, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
- Francisca Losavio, Quality Models to Design Software Architecture, pp. 165-178, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)