Articles matching “DeLine”

  1. Nisha Desai, Martin Gogolla, Assembling Scenario Patterns for Checking Model Behavior, pp. 19:1-27, PDF, DOI. Volume 19, no. 2 (July 2020)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte, Verification of Object-Oriented Programs with Invariants, pp. 27-56, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
  8. Alecia Eleonora Acosta, Nancy Zambrano, Patterns and Objects for User Interface Construction, pp. 75-90, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  9. María del Mar Gallardo, Pedro Merino, Ernesto Pimentel, Debugging UML Designs with Model Checking, pp. 101-117, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact