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