Articles matching “Syst”
- Thomas Weber, Niklas D. Kuder, Thomas A. Völk, Jonas Schneider, Sebastian Weber, Anne Koziolek, Towards Modeling Inconsistencies in Production Workflows — An Experience Report, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Haitam El Hayani, Benoit Combemale, Olivier Barais, Steffen Zschaler, Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes, pp. 2:1-13, PDF, DOI. Volume 24, no. 2 (May 2025)
- Mathijs Schuts, Jozef Hooman, Ivan Kurtev, Issam Tlili, Erik Oerlemans, Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Hiba Ajabri, Jean-Marie Mottu, Christian Attiogbé, Pascal Berruet, Navigating the trace of executable domain specific languages through a trace domain query language, pp. 2:1-15, PDF, DOI. Volume 24, no. 2 (May 2025)
- Sanjeev Sun Shakya, Qusai Ramadan, Julian Flake, Alexander Peikert, Support for Model-Based Data Sovereignty Analysis, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Aaron Conrardy, Jordi Cabot, Alfredo Capozucca, User Modeling in Model-Driven Engineering: A Systematic Literature Review, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt, Methodical and Formally Verified Model-Driven Architecture Refactoring, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Victor Campanello, Shariq Shahbaz, Vladislav Indykov, Daniel Strüber, On the Use of GPT-4 in the Reverse Engineering of Class Diagrams, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- Kevin Lano, Shekoufeh Rahimi, Zishan Rahman, Using MDE to support sustainable re-engineering, pp. 2:1-14, PDF, DOI. Volume 24, no. 2 (May 2025)
- 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)
- Stefan Ramson, Markus Brand, Jens Lincke, Robert Hirschfeld, Extensible Tooling for Reactive Programming Based on Active Expressions, pp. 1:1-32, PDF, DOI. Volume 23, no. 1 ( 2024)
- Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- Karl Kegel, Sebastian Götz, Ronny Marx, Uwe Aßmann, A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- Robbert Jongeling, Federico Ciccozzi, Flexible Modelling: a Systematic Literature Review, pp. 1-14, PDF, DOI. Volume 23, no. 3 (July 2024)
- 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)
- 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)
- Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall, Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation, pp. 2:1-16, PDF, DOI. Volume 23, no. 2 (March 2024)
- 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)
- Manar H. Alalfi, Atheer Abu Zaid, Ali Miri, A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
- Arvid Butting, Rohit Gupta, Nico Jansen, Nikolaus Regnat, Bernhard Rumpe, Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems, pp. 1:1-21, PDF, DOI. Volume 22, no. 1 ( 2023)
- 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)
- Achim Lindt, Bernhard Rumpe, Max Stachon, Sebastian Stüber, CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
- 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)
- Sam Procter, The OSATE Slicer: Graph-Based Reachability for Architectural Models, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 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)
- Rubén Campos-López, Esther Guerra, Juan de Lara, Alessandro Colantoni, Antonio Garmendia, Model-Driven Engineering for Augmented Reality, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
- 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)
- Iván Alfonso, Abel Gómez, Silvia Doñate, Kelly Garcés, Harold Castro, Jordi Cabot, A model-based framework for IoT systems in wastewater treatment plants, pp. 2:1-15, PDF, DOI. Volume 22, no. 2 (July 2023)
- Tiago Amorim, Alexander Boll, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, Hartmut Pohlheim, Simulink bus usage in practice: an empirical study, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
- Ryan Languay, Nika Prairie, Jörg Kienzle, Concern-Oriented Use Cases, pp. 2:1-14, PDF, DOI. Volume 22, no. 2 (July 2023)
- 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)
- 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)
- 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)
- Javier Criado, Luis Iribarne, Reusability and discovery models in software systems: a systematic literature review, pp. 4:1-17, PDF, DOI. Volume 21, no. 4 (October 2022)
- Arvid Butting, Judith Michael, Bernhard Rumpe, Language Composition via Kind-Typed Symbol Tables, pp. 4:1-13, PDF, DOI. Volume 21, no. 4 (October 2022)
- Robert Clarisó, Lola Burgueño, Jordi Cabot, Managing Design-time Uncertainty in OCL Expressions, pp. 4:1-10, PDF, DOI. Volume 21, no. 4 (October 2022)
- Jesús Rosa-Bilbao, Juan Boubeta-Puig, Model-Driven Engineering for Complex Event Processing: A Survey, pp. 4:1-13, PDF, DOI. Volume 21, no. 4 (October 2022)
- Nour Jihene Agouf, Stéphane Ducasse, Anne Etien, Abdelghani Alidra, Arnaud Thiefaine, Understanding Class Name Regularity: A Simple Heuristic and Supportive Visualization, pp. 1:1-31, PDF, DOI. Volume 21, no. 1 ( 2022)
- Nathalie Moreno, Alejandro Pérez-Vereda, Antonio Vallecillo, Managing Reputation in Collaborative Social Computing Applications, pp. 3:1-13, PDF, DOI. Volume 21, no. 3 (July 2022)
- Max Härtwig, Sebastian Götz, Mobile Modeling with Real-Time Collaboration Support, pp. 3:1-15, PDF, DOI. Volume 21, no. 3 (July 2022)
- Oliver Kautz, Bernhard Rumpe, Louis Wachtmeister, Semantic Differencing of Use Case Diagrams, pp. 3:1-14, PDF, DOI. Volume 21, no. 3 (July 2022)
- Robbert Jongeling, Johan Fredriksson, Jan Carlson, Federico Ciccozzi, Antonio Cicchetti, Structural consistency between a system model and its implementation: a design science study in industry, pp. 3:1-16, 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)
- Jérôme Pfeiffer, Daniel Lehner, Andreas Wortmann, Manuel Wimmer, Modeling Capabilities of Digital Twin Platforms - Old Wine in New Bottles?, 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)
- Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe, Preface to the JOT special issue on ECOOP 2021: selected workshop papers, PDF, DOI. Volume 21, no. 2 ( 2022)
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong, Threaded Code Generation with a Meta-Tracing JIT Compiler, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)
- Dimitri Racordon, Aurélien Coet, Didier Buchs, Toward a Lingua Franca for Memory Safety, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)
- Axel Curmi, Christian Colombo, Mark Vella, RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation, pp. 2:1-15, PDF, DOI. Volume 21, no. 2 ( 2022)
- Nicolás Cardozo, Ivana Dusparic, Next Generation Context-oriented Programming: Embracing Dynamic Generation of Adaptations, pp. 1-6, PDF, DOI. Volume 21, no. 2 ( 2022)
- Toni Mattis, Tom Beckmann, Patrick Rein, Robert Hirschfeld, First-Class Concepts: Reified Architectural Knowledge Beyond Dominant Decompositions, pp. 1-15, PDF, DOI. Volume 21, no. 2 ( 2022)
- Mahmoud El Hamlaoui, Sophie Ebersold, Saloua Bennani, Adil Anwar, Taoufiq Dkaki, Mahmoud Nassar, Bernard Coulette, A Model-Driven Approach to align Heterogeneous Models of a Complex System, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
- Nichlas Bjørndal, Luiz Jonatã Pires de Araújo, Antonio Bucchiarone, Nicola Dragoni, Manuel Mazzara, Schahram Dustdar, Benchmarks and performance metrics for assessing the migration to microservice-based architectures, pp. 2:1-17, PDF, DOI. Volume 20, no. 2 ( 2021)
- Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori, A protoype-based approach to object evolution, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
- 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)
- Bran Bran Selić, On the Precise Semantics of the Software Layering Design Pattern, pp. 2:1-13, PDF, DOI. Volume 20, no. 2 ( 2021)
- Imke Drave, Arkadii Gerasimov, Judith Michael, Lukas Netz, Bernhard Rumpe, Simon Varga, A Methodology for Retrofitting Generative Aspects in Existing Applications, pp. 2:1-24, PDF, DOI. Volume 20, no. 2 ( 2021)
- Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis, Towards a Generic Method for Articulating Design-time Uncertainty, pp. 3:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
- Katharina Juhnke, Alexander Nikic, Matthias Tichy, Clustering Natural Language Test Case Instructions as Input for Deriving Automotive Testing DSLs, pp. 5:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
- 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)
- Saheed Popoola, Xin Zhao, Jeff Gray, Evolution of Bad Smells in LabVIEW Graphical Models, pp. 1:1-15, PDF, DOI. Volume 20, no. 1 (January 2021)
- 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)
- Paula Muñoz, Loli Burgueño, Victor Ortiz, Antonio Vallecillo, Extending OCL with Subjective Logic, pp. 3:1-15, PDF, DOI. Volume 19, no. 3 (October 2020)
- 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)
- 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)
- Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo, Systematic Engineering of Mutation Operators, pp. 3:1-16, 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)
- Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller, Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL, pp. 3:1-14, PDF, DOI. Volume 19, no. 3 (October 2020)
- 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)
- Alexander Knapp, María Victoria Cengarle, 2-Term Charters, pp. 3:1-12, 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)
- Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró, A Specification Language for Consistent Model Generation based on Partial Models, pp. 3:1-22, PDF, DOI. Volume 19, no. 3 (October 2020)
- 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)
- Hoàng Nguyen Phuoc Bao, Manuel Clavel, Model-based Characterization of fine-grained Access Control Authorization for SQL Queries, pp. 3:1-13, 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)
- Sebastian Götz, Andreas Fehn, Frank Rohde, Thomas Kühn, Model-driven Software Engineering for Construction Engineering: Quo Vadis?, pp. 2:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
- 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)
- Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale, Runtime Monitoring for Executable DSLs, pp. 6:1-23, PDF, DOI. Volume 19, no. 2 (July 2020)
- Benjamin Benni, Sébastien Mosser, Mathieu Acherc, Mathieu Paillart, Characterizing Black-box Composition Operators via Generated Tailored Benchmarks, pp. 7:1-20, PDF, DOI. Volume 19, no. 2 (July 2020)
- Marcel Heinz, Johannes Härtel, Ralf Lämmel, Reproducible Construction of Interconnected Technology Models for EMF Code Generation, pp. 8:1-25, PDF, DOI. Volume 19, no. 2 (July 2020)
- Jesús Sánchez Cuadrado, Martin Gogolla, Model Finding in the EMF Ecosystem, pp. 10:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
- 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)
- Nicolas Ferry, Phu H. Nguyen, Hui Song, Erkuden Rios, Eider Iturbe, Satur Martinez, Angel Rego, Continuous Deployment of Trustworthy Smart IoT Systems, pp. 16:1-23, PDF, DOI. Volume 19, no. 2 (July 2020)
- Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo, GraphQL Federation: A Model-Based Approach, pp. 18:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
- 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)
- 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)
- Nisha Desai, Martin Gogolla, Developing Comprehensive Postconditions Through a Model Transformation Chain, pp. 5:1-18, 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)
- Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio, Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report, pp. 1:1-22, PDF, DOI. Volume 18, no. 2 (July 2019)
- Nils Kaminski, Evgeny Kusmenko, Bernhard Rumpe, Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems, pp. 2:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
- Martin Gogolla, Antonio Vallecillo, On Softening OCL Invariants, pp. 6:1-22, PDF, DOI. Volume 18, no. 2 (July 2019)
- 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)
- Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer, Michael Tröls, Alexander Egyed, An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing, pp. 10:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
- Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson, Lightweight Consistency Checking for Agile Model-Based Development in Practice, pp. 11:1-20, PDF, DOI. Volume 18, no. 2 (July 2019)
- 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)
- 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)
- Chaima Boufaied, Domenico Bianculli, Lionel Briand, A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations, pp. 15:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
- Yannis Lilis, Anthony Savidis, Meta C++: an extension layer for multi-stage generative metaprogramming , pp. 1:1-44, PDF, DOI. Volume 18, no. 1 (2019)
- 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)
- Zeinab Iranmanesh, Mehran S. Fallah, Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java, pp. 1:1-31, PDF, DOI. Volume 16, no. 3 (June 2017)
- 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)
- 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)
- 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)
- Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray, Using Slicing to Improve the Performance of Model Invariant Checking, pp. 1:1-28, PDF, DOI. Volume 14, no. 4 (September 2015)
- 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)
- 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)
- 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)
- 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)
- 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)
- Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara, Extreme Modelling (XM) 2012 Special Section, HTML, DOI. Volume 13, no. 3 (July 2014)
- Vadim Zaytsev, Negotiated Grammar Evolution, pp. 1:1-22, 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)
- 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)
- 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)
- 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)
- Oscar Nierstrasz, Farewell editorial, HTML, 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)
- 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)
- 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)
- 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)
- 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)
- Olivier Zendra, Markku Sakkinen, ICOOLPS 2010 and MASPEGHI 2010, HTML, DOI. Volume 11, no. 3 (October 2012)
- Olivier Sallenave, Roland Ducournau, Efficient Compilation of .NET Programs for Embedded Systems, pp. 5:1-28, PDF, DOI. Volume 11, no. 3 (October 2012)
- Andrea Corradi, Marco Servetto, Elena Zucca, DeepFJig — Modular composition of nested classes, pp. 1:1-42, PDF, DOI. Volume 11, no. 2 (August 2012)
- 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)
- Mahir Arzoky, Stephen Swift, Allan Tucker, James Cain, A Seeded Search for the Modularisation of Sequential Software Versions, pp. 6:1-27, PDF, DOI. Volume 11, no. 2 (August 2012)
- 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)
- Steffen Zschaler, European Research Project Symposium at ECOOP 2011, HTML, DOI. Volume 11, no. 1 (April 2012)
- 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)
- Jannik Laval, Jean-Rémy Falleri, Philippe Vismara, Stéphane Ducasse, Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems, pp. 4:1-24, PDF, DOI. Volume 11, no. 1 (April 2012)
- Oscar Nierstrasz, JOT needs you!, HTML, DOI. Volume 10, (2011)
- Giovanni Lagorio, Marco Servetto, Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI. Volume 10, (2011)
- Francesca Arcelli Fontana, Marco Zanoni, Stefano Maggioni, Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools, pp. 4:1-31, PDF, DOI. Volume 10, (2011)
- Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
- 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)
- Nicholas Nguyen, SPath: an extensible query-language for Scala, pp. 13:1-37, PDF, DOI. Volume 10, (2011)
- 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)
- 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)
- Santosh Kumar Swain, Durga Prasad Mohapatra, Rajib Mall, Test Case Generation Based on State and Activity Models, pp. 1-27, PDF, DOI. Volume 9, no. 5 (September 2010)
- 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)
- Arun Mishra, A.K. Misra, Dynamic adaptability with .NET service components, pp. 75-94, PDF, DOI. Volume 9, no. 5 (September 2010)
- ESF Najumudheen, Rajib Mall, Debasis Samanata, A Dependence Representation for Coverage Testing of Object-Oriented Programs, pp. 1-23, PDF, DOI. Volume 9, no. 4 (July 2010)
- Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp, Extending Scala with Database Query Capability, pp. 45-68, PDF, DOI. Volume 9, no. 4 (July 2010)
- 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)
- Rajesh Kumar, P.S. Grover, Avadhesh Kumar, A Fuzzy Logic Approach to Measure Complexity of Generic Aspect-Oriented Systems, pp. 59-77, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
- Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy, Extracting State Models for Black-Box Software Components, pp. 79-103, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
- Emad Ghosheh, Sue Black, Epaminondas Kapetanios, Mark Baldwin, Exploring the Relationship between UML Design Metrics for Web Applications and Maintainability, pp. 125-144, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
- Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile, A Rule-Driven Approach for composing Viewpoint-oriented Models, pp. 89-114, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
- Barath Kumar, Juergen Jasperneite, UML Profiles for Modeling Real-Time Communication Protocols, pp. 178-198, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
- John D. McGregor, Ecosystems, continued, pp. 7-23, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
- 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)
- Abdelkrim Amirat, Mourad Chabane Oussalah, First-Class Connectors to Support Systematic Construction of Hierarchical Software Architecture, pp. 107-130, PDF, HTML, DOI. Volume 8, no. 7 (November 2009)
- 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)
- John D. McGregor, Ecosystems, pp. 7-16, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
- Richard Wiener, Ant Colony System Optimization, pp. 39-58, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
- Chamseddine Talhi, D. Mouheb, V. Lima, Mourad Debbabi, L. Wang, M. Pourzandi, Usability of Security Specification Approaches for UML Design: A Survey, pp. 103-122, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
- Sven Apel, Christian Kästner, An Overview of Feature-Oriented Software Development, pp. 49-84, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
- 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)
- Veit Hoffmann, Horst Lichter, Alexander Nyßen, Andreas Walter, Towards the Integration of UML- and textual Use Case Modeling, pp. 85-100, PDF, HTML, DOI. Volume 8, no. 3 (May 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)
- John D. McGregor, Variation Verification, pp. 7-14, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
- Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin, UML for Modelling and Performance Estimation of Embedded Systems, pp. 95-118, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
- Farid Mokhati, Mourad Badri, Generating Maude Specifications From UML Use Case Diagrams, pp. 119-136, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
- Douglas Lyon, Nishanth Vincent, INTERACTIVE Embedded FACE RECOGNITION, pp. 23-53, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
- 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)
- Constantin Serban, Shmuel Tyszberowicz, Yishai A. Feldman, Naftaly Minsky, Developing Law-Governed Systems Using Aspects, pp. 25-46, PDF, HTML, DOI. Volume 7, no. 9 (December 2008)
- Stephan Herrmann, Gradual Encapsulation, pp. 47-68, PDF, HTML, DOI. Volume 7, no. 9 (December 2008)
- Won Kim, Using Technologies to Improve E-Learning, pp. 33-41, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
- 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)
- Xiufeng Ni, Cui Zhang, Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis, pp. 165-185, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
- 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)
- Mahesh H. Dodani, Applications At Your Service, pp. 33-38, PDF, HTML, DOI. Volume 7, no. 7 (September 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)
- Dave Thomas, The Legacy and Liability of Object Technology The Dark Side of OO, pp. 27-33, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
- 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)
- Mark Strembeck, Uwe Zdun, Modeling Interdependent Concern Behavior Using Extended Activity Models, pp. 143-166, PDF, HTML, DOI. Volume 7, no. 6 (July 2008)
- Vincent Cremet, Philippe Altherr, Adding Type Constructor Parameterization to Java, pp. 25-65, PDF, HTML, DOI. Volume 7, no. 5 (June 2008)
- Daniele Mazzeranghi, Panda: a Pattern-based Programming System for Automatic Code Generation, pp. 67-99, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
- J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Security and Protection in Timor Programs, pp. 123-138, PDF, HTML, DOI. Volume 7, no. 4 (May 2008)
- 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)
- 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)
- 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)
- 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)
- Klaus Ostermann, Nominal and Structural Subtyping in Component-Based Programming, pp. 121-145, 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)
- Assel Akzhalova, Assel Altayeva, Nurzhan Duzbayev, Model Driven Prediction and Control, pp. 81-94, PDF, HTML, DOI. Volume 6, no. 11 (December 2007)
- 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)
- 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)
- Jing Dong, Sheng Yang, Yongtao Sun, A Classification of Design Pattern Evolutions, pp. 95-109, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Torbjörn Ekman, Görel Hedin, Pluggable checking and inferencing of nonnull types for Java, pp. 455-475, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- John Potter, Abdelsalam Shanneb, Incremental Lock Selection for Composite Objects, pp. 477-494, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- Sang-Won Lee, Won Kim, On Flash-Based DBMSs: Issues for Architectural Re-Examination, pp. 39-49, PDF, HTML, DOI. Volume 6, no. 8 (September 2007)
- Mourad Debbabi, M. Fourati, A Formal Type System for Java, pp. 117-184, PDF, HTML, DOI. Volume 6, no. 8 (September 2007)
- Bedir Tekinerdogan, Christian Hofmann, Mehmet Aksit, Modeling Traceability of Concerns for Synchronizing Architectural Views, pp. 7-25, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
- Thomas Cottenier, Aswin van den Berg, Tzilla Elrad, Motorola WEAVR: Aspect and model-Driven Engineering, pp. 51-88, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
- Lidia Fuentes, Pablo Sánchez, Designing and Weaving Aspect-Oriented Executable UML Models, pp. 109-136, PDF, HTML, DOI. Volume 6, no. 7 (August 2007)
- 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)
- 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)
- Douglas Lyon, Diffraction Rangefinding in Java, pp. 15-28, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
- Frans A. Henskens, Maurice G. Ashton, Graph-based Optimistic Transaction Management, pp. 131-148, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
- Laurent Balmelli, The Systems Modeling Language for Products and Systems Development, pp. 149-177, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
- 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)
- Radziah Mohamad, Safaai Deris, Hany H. Ammar, Pattern-Oriented Design for Multi-Agent System: A Conceptual Model, pp. 55-75, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
- Tarig Mohamed Ahmed, Increasing Mobile Agent Performance by Using Free Areas Mechanism, pp. 125-140, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
- Tobias Wrigstad, Dave Clarke, Existential Owners for Ownership Types, pp. 141-159, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
- John D. McGregor, Dependability, pp. 7-12, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
- Douglas Lyon, Francisco Castellanos, The Saverbeans Screensaver and Initium RJS System Integration: Part 5 By, pp. 35-57, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
- Mahesh H. Dodani, Where's the (Business) Beef?, pp. 59-64, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
- Susan Eisenbach, Chris Sadler, Reuse and Abuse, pp. 139-167, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
- Dave Thomas, Programming with Models — Modeling with Code The Role of Models in Software Development, pp. 15-19, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Donald Firesmith, Requirements Engineering Tasks, pp. 21-29, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Douglas Lyon, Francisco Castellanos, The Initium RJS Screensaver: Part 4, Automatic Deployment, pp. 31-40, PDF, HTML, DOI. Volume 5, no. 8 (November 2006)
- Douglas A. Lyon, Pawel Krepsztul, Francisco Castellanos, Initium RJS: A Macintosh Screensaver in Java, Part 3, pp. 9-17, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
- Klaus-Peter Löhr, Max Haustein, The Jac System: Minimizing the Differences between Concurrent and Sequential Java Code, pp. 43-56, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
- Herbert Toth, ABS++ : Assertion Based Subtyping in C++, pp. 83-105, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
- 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)
- 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)
- 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)
- 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)
- Frank Siegemund, Robert Sugar, Alain Gefflaut, Friedrich van Megen, Porting the .NET Compact Framework to Symbian Phones, pp. 83-106, PDF, HTML, DOI. Volume 5, no. 3 (April 2006)
- Mahesh H. Dodani, A Picture is Worth a 1000 Words?, pp. 35-40, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
- Donald Firesmith, Peter Capell, Architecture-Related Requirements, pp. 61-73, 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)
- Brian Stevens, Implementing Object-Z with Perfect Developer, pp. 189-202, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
- G. Arumugam, M. Thangaraj, An efficient multiversion access control in a Temporal Object Oriented Database, pp. 105-116, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
- Chang-Hyun Jo, Jeffery M. Einhorn, A BDI Agent-Based Software Process, pp. 101-121, PDF, HTML, DOI. Volume 4, no. 9 (November 2005)
- 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)
- Werner Dietl, Peter Müller, Universes: Lightweight Ownership for JML, pp. 5-32, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
- Anthony J.H. Simons, The Theory of Classification Part 20: Modular Checking of Classtypes, pp. 7-18, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
- 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)
- Gonzalo Génova, Juan Llorens, Pierre Metz, Rubén Prieto-Díaz, Hernán Astudillo, Open Issues in Industrial Use Case Modeling, pp. 7-14, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
- Bruce Anderson, Formalism, technique and rigour in Use Case Modelling, pp. 15-28, PDF, HTML, DOI. Volume 4, no. 6 (August 2005)
- Gonzalo Génova, Juan Llorens, The Emperor's New Use Case, pp. 81-94, 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)
- Friedrich Steimann, Philip Mayer, Patterns of Interface-Based Programming, pp. 75-94, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
- Peter J. Clarke, Brian A. Malloy, A Taxonomy of OO Classes to Support the Mapping of Testing Techniques to a Class, pp. 95-115, PDF, HTML, DOI. Volume 4, no. 5 (July 2005)
- Francisca Losavio, Dinarle Ortega, María Pérez, Comparison of EAI Frameworks, pp. 93-114, 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)
- Mark Evered, Object-oriented Access Control in Jarrah, pp. 135-153, PDF, HTML, DOI. Volume 4, no. 4 (May 2005)
- Wes Lloyd, A Common Criteria Based Approach for COTS Component Selection, pp. 25-32, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
- Jonathan Sprinkle, Generative Components for Hybrid Systems Tools, pp. 33-38, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
- 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)
- Vander Alves, Identifying Variations in Mobile Devices, pp. 51-56, PDF, HTML, DOI. Volume 4, no. 3 (April 2005)
- Won Kim, On Metadata Management Technology: Status and Issues, pp. 41-47, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- Richard Wiener, Generic Red-Black Tree and its C# Implementation, pp. 59-80, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- 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)
- Liwu Li, Implementing the π-Calculus in Java, pp. 157-177, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- 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)
- 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)
- Mads Torgersen, Erik Ernst, Christian Plesner Hansen, Peter von der Ahe, Gilad Bracha, Neal Gafter, Adding Wildcards to the Java Programming Language, pp. 97-116, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
- Douglas Lyon, The Initium X.509 Certificate Wizard, pp. 75-88, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
- Mahesh H. Dodani, From Objects to Services: A Journey in Search of Component Reuse Nirvana, pp. 49-54, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
- Benjamin Lopez, Francisco Ortin, Javier Noval, Reflection as the Basis for Developing a Dynamic SoC Persistence System, pp. 121-145, PDF, HTML, DOI. Volume 3, no. 8 (September 2004)
- Dave Thomas, Brian Barry, Using Active Objects for Structuring Service Oriented Architectures. Anthropomorphic Programming with Actors, pp. 7-14, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
- Douglas Lyon, The Imperion Threading System, pp. 57-70, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
- Apostolos Zarras, Online Upgrade of Object-Oriented Middleware, pp. 121-140, PDF, HTML, DOI. Volume 3, no. 7 (July 2004)
- Dave Thomas, Message Oriented Programming - The Case for First Class Messages, pp. 7-12, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
- John D. McGregor, Software Architecture, pp. 65-77, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
- Jan Jürjens, Componentware for Critical Systems, pp. 47-50, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
- Donald Firesmith, Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements, pp. 27-42, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Douglas Lyon, Asynchronous RMI for CentiJ, pp. 49-64, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Alecia Eleonora Acosta, Nancy Zambrano, Patterns and Objects for User Interface Construction, pp. 75-90, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Shih-Chien Chou, LnRBAC: A Multiple-Levelled Role-Based Access Control Model for Protecting Privacy in Object-Oriented Systems, pp. 91-120, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Harald Haller, Design of Large .NET Applications: Best Practices, pp. 11-17, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
- Mahesh H. Dodani, A Reuse Parable, pp. 77-82, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
- Irit Hadar, Orit Hazzan, On the Contribution of UML Diagrams to Software System Comprehension, pp. 143-156, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
- Rainer Weinreich, Reinhold Plösch, Remote Configuration of Agent-Based Component Systems, pp. 67-84, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
- Birol Berkem, How to increase your business reactivity with MDA/UML?, pp. 117-138, PDF, HTML, DOI. Volume 2, no. 6 (November 2003)
- James Odell, H. Van Dyke Parunak, Sven Brueckner, John Sauter, Changing Roles: Dynamic Role Assignment, pp. 77-86, PDF, HTML, DOI. Volume 2, no. 5 (September 2003)
- Ivar Jacobson, Use Cases and Aspects—Working Seamlessly Together, pp. 7-28, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
- Mahesh H. Dodani, The Best Practice Promise and Myth, pp. 65-68, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)
- 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)
- Anthony J.H. Simons, The Theory of Classification, Part 7: A Class is a Type Family, pp. 13-22, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Wook-Shin Han, Ki-Hoon Lee, Byung Suk Lee, An XML Storage System for Object-Oriented/Object-Relational DBMSs, pp. 113-126, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Ghassan Alkadi, Ihssan Alkadi, Application of a Revised DIT Metric to Redesign an OO Design, pp. 127-134, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- George Fernandez, Liping Zhao, Inji Wijegunaratne, Patterns for Federated Architecture, pp. 135-149, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Sarnath Ramnath, Brahma Dathan, Pattern Integration: Emphasizing the De-Coupling of Software Subsystems in Conjunction with the Use of Design Patterns, pp. 7-16, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
- Won Kim, A Retrospection On Niche Database Technologies, pp. 35-42, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
- 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)
- 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)
- James Odell, H. Van Dyke Parunak, Mitchell Fleischer, The Role of Roles, pp. 39-51, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
- Gonzalo Génova, Juan Llorens, Vicente Palacios, Sending Messages in UML, pp. 99-115, PDF, HTML, DOI. Volume 2, no. 1 (January 2003)
- James Odell, Agent-Based Manufacturing: A Case Study, pp. 51-61, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
- Douglas Lyon, CentiJ: An RMI Code Generator, pp. 117-148, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
- 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)
- Francisca Losavio, Quality Models to Design Software Architecture, pp. 165-178, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
- Panayiotis Periorellis, John E. Dobson, Organisational Failures in Dependable Collaborative Enterprise Systems, pp. 107-117, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
- Michael Compton, Richard Walker, A Run-time System for SCOOP, pp. 119-157, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
- James Odell, Agents and Complex Systems, pp. 35-45, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
- Emilio García-Roselló, José Ayude, José B. García-Schofield, Manuel Pérez-Cota, Design principles for highly reusable concurrent object-oriented systems, pp. 107-123, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
- Rushikesh K. Joshi, What is Common Between Generic Services and Interface Navigation?, pp. 125-132, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)