Articles matching “Christ”

  1. 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)
  2. 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)
  3. 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)
  4. Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra, Java Bytecode Verification with OCL Why, How and Whenc, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  5. Pierre Kelsen, Qin Ma, Christian Glodt, A Lightweight Modeling Approach Based on Functional Decomposition, pp. 15:1-22, PDF, DOI. Volume 19, no. 2 (July 2020)
  6. 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)
  7. 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)
  8. Reinhold Plösch, Johannes Bräuer, Christian Körner, Matthias Saft, MUSE: A Framework for Measuring Object-Oriented Design Quality, pp. 2:1-29, PDF, DOI. Volume 15, no. 4 (August 2016)
  9. Christian Quesada-López, Marcelo Jenkins, Function Point Structure and Applicability: A Replicated Study, pp. 2:1-26, PDF, DOI. Volume 15, no. 3 (June 2016)
  10. Stefan Mutke, Christoph Augenstein, Martin Roth, André Ludwig, Bogdan Franczyk, Real-time information acquisition in a model-based integrated planning environment for logistics contracts, pp. 2:1-25, PDF, DOI. Volume 14, no. 1 (April 2015)
  11. Donghoon Kim, Emerson Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia, The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics, pp. 1:1-31, PDF, DOI. Volume 12, no. 4 (November 2013)
  12. Christoph Bockisch, Andreas Sewe, Haihan Yin, Mira Mezini, Mehmet Aksit, An In-Depth Look at ALIA4J, pp. 7:1-28, PDF, DOI. Volume 11, no. 1 (April 2012)
  13. J. Leslie Keedy, Gisela Menger, Christian Heinlein, Covariantly Adjusting Co-Types in Timor, pp. 35-55, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
  14. 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)
  15. Sven Apel, Christian Kästner, Virtual Separation of Concerns - A Second Chance for Preprocessors, pp. 59-78, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
  16. Sven Apel, Christian Kästner, An Overview of Feature-Oriented Software Development, pp. 49-84, PDF, HTML, DOI. Volume 8, no. 5 (July 2009)
  17. Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML, DOI. Volume 8, no. 4 (June 2009)
  18. Cédric Bouhours, Hervé Leblanc, Christian Percebois, Bad smells in design and design patterns, pp. 43-63, PDF, HTML, DOI. Volume 8, no. 3 (May 2009)
  19. 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)
  20. 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)
  21. Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig, ClassSheets - model-based, object-oriented design of spreadsheet applications, pp. 383-398, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  22. Christine Hundt, Katharina Mehner, Carsten Pfeiffer, Dehla Sokenou, Improving Alignment of Crosscutting Features with Code in Product Line Engineering, pp. 417-436, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  23. 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)
  24. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Persistent Processes and Distribution in Timor, pp. 91-108, PDF, HTML, DOI. Volume 6, no. 6 (July 2007)
  25. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Persistent Objects and Capabilities in Timor, pp. 103-123, PDF, HTML, DOI. Volume 6, no. 4 (May 2007)
  26. Christian Heinlein, Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance, pp. 101-151, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
  27. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger Frans Henskens, Michael Hannaford, Support for Object Oriented Transactions in Timor, pp. 103-124, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
  28. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Call-out Bracket Methods in Timor, pp. 51-67, PDF, HTML, DOI. Volume 5, no. 1 (January 2006)
  29. Christian Heinlein, Global and Local Virtual Functions in C++, pp. 71-93, PDF, HTML, DOI. Volume 4, no. 10 (December 2005)
  30. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered, Statically Qualified Types in Timor, pp. 115-137, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
  31. 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)
  32. J. Leslie Keedy, Christian Heinlein, Gisela Menger, Inheriting Multiple and Repeated Parts in Timor, pp. 99-120, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  33. J. Leslie Keedy, Christian Heinlein, Gisela Menger, Mark Evered, Diamond Inheritance and Attribute Types in Timor, pp. 121-142, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  34. Christoph von Praun, Thomas R. Gross, Static Detection of Atomicity Violations in Object-Oriented Programs, pp. 103-122, PDF, HTML, DOI. Volume 3, no. 6 (June 2004)
  35. J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Qualifying Types with Bracket Methods in Timor, pp. 101-121, PDF, HTML, DOI. Volume 3, no. 1 (January 2004)
  36. Christine Mingins, Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
  37. J. Leslie Keedy, Gisela Menger, Christian Heinlein, Inheriting from a Common Abstract Ancestor in Timor, pp. 81-106, PDF, HTML, DOI. Volume 1, no. 1 (May 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact