Articles matching “David”
- Théo Giraudet, Mélanie Bats, Arnaud Blouin, Benoît Combemale, Pierre-Charles David, Sirius Web: Insights in Language Workbenches – An Experience Report, pp. 1-20, PDF, DOI. Volume 23, no. 1 ( 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)
- Davide Ancona, Adrian Francalanza, Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers, pp. 1-2, PDF, DOI. Volume 23, no. 2 (March 2024)
- Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs, pp. 2:1-13, PDF, DOI. Volume 23, no. 2 (March 2024)
- Sahar Kokaly, Davide Di Ruscio, Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022), pp. 1-4, 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)
- Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio, Uncertainty management with extra-functional qualities in multi-artefact co-evolution, pp. 2:1-15, PDF, DOI. Volume 20, no. 3 (June 2021)
- Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio, Detecting Metamodel Evolutions in Repositories of Model-Driven Projects, pp. 14:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
- 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)
- 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)
- 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)
- 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)
- Davide Di Ruscio, Alfonso Pierantonio, Juan de Lara, Extreme Modelling (XM) 2012 Special Section, HTML, DOI. Volume 13, no. 3 (July 2014)
- Davide Di Ruscio, Dimitris Kolovos, International Workshop on Model Comparison, HTML, DOI. Volume 11, no. 3 (October 2012)
- Giovanni Lagorio, Marco Servetto, Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI. Volume 10, (2011)
- Anya Helene Bagge, Valentin David, Magne Haveraaen, Testing with Axioms in C++ 2011, pp. 10:1-32, PDF, DOI. Volume 10, (2011)
- 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)
- David Chisnall, A Modern Objective-C Runtime, pp. 221-240, PDF, HTML, DOI. Volume 8, no. 1 (January 2009)
- Davide Ancona, Mirko Viroli, Guest Editorial, PDF, HTML, DOI. Volume 7, no. 2 (February 2008)
- Kevin Lano, David Clark, Direct Semantics of Extended State Machines, pp. 35-51, 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)
- Davide Ancona, Elena Zucca, Guest Editorial, PDF, HTML, DOI. Volume 6, no. 5 (June 2007)
- Davide Ancona, Mirko Viroli, Guest Editorial, PDF, HTML, DOI. Volume 6, no. 2 (February 2007)
- Vitaly Khusidman, David M. Bridgeland, A Classification Framework for Software Reuse, pp. 43-61, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
- David Anthony, Witawas Srisa-an, Michael Leung, An Empirical Study of the Code Pitching Mechanism in the .NET Framework, pp. 107-127, PDF, HTML, DOI. Volume 5, no. 3 (April 2006)
- Davide Ancona, Guest Editorial, PDF, HTML, DOI. Volume 4, no. 10 (December 2005)
- David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
- 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)
- David Johnson, Association Implementation, pp. 81-108, PDF, HTML, DOI. Volume 4, no. 2 (March 2005)
- Davide Ancona, Mirko Viroli, Guest Editorial, PDF, HTML, DOI. Volume 3, no. 11 (December 2004)
- 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)
- Davide Ancona, Giovanni Lagorio, Stronger Typings for Separate Compilation of Java-like Languages, pp. 5-25, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
- Alain Pirotte, David Massart, Integrating Two Descriptions of Taxonomies with Materialization, pp. 143-149, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
- Anis Charfi, David Emsellem, Michel Riveill, Dynamic Component Composition in .NET, pp. 37-46, PDF, HTML, DOI. Volume 3, no. 2 (February 2004)
- 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)
- Ognian Pishev, Notes on a Practical Guide and Thoughts on Software Development Review of ‘A Practical Guide to Extreme Programming’ by David Astels, Granville Miller, Miroslav Novak, pp. 171-180, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)