Articles matching “DeLine”

  1. 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)
  2. 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)
  3. 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)
  4. 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)
  5. Fiona Polack, Kieran Alden, On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI. Volume 19, no. 3 (October 2020)
  6. Nisha Desai, Martin Gogolla, Assembling Scenario Patterns for Checking Model Behavior, pp. 19:1-27, PDF, DOI. Volume 19, no. 2 (July 2020)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. 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)
  12. 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)
  13. Alecia Eleonora Acosta, Nancy Zambrano, Patterns and Objects for User Interface Construction, pp. 75-90, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  14. 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