Articles matching “Paige”

  1. Richard Paige, Antonio Vallecillo, Preface to the JOT special issue containing the ECMFA 2020 selected papers, pp. 1-5, PDF, DOI. Volume 19, no. 2 (July 2020)
  2. Sina Madani, Dimitris Kolovos, Richard F. Paige, Towards Optimisation of Model Queries: A Parallel Execution Approach, pp. 3:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
  3. Richard Paige, Louis Rose, Lies, Damned Lies and UML2Java, HTML, DOI. Volume 12, no. 1 (January 2013)
  4. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Werner Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar, Surveying Rule Inheritance in Model-to-Model Transformation Languages, pp. 3:1-46, PDF, DOI. Volume 11, no. 2 (August 2012)
  5. Phillip J. Brooke, Richard F. Paige, Exceptions in Concurrent Eiffel, pp. 111-126, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  6. Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polac, Louis M. Rose, Update Transformations in the Small with the Epsilon Wizard Language, pp. 53-69, PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
  7. Richard F. Paige, Triston S. Attridge, Phillip J. Brooke, Game Development using Design-by-Contract, pp. 57-73, PDF, HTML, DOI. Volume 5, no. 7 (September 2006)
  8. 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)
  9. Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige, SECG: The SCOOP-to-Eiffel Code Generator, pp. 143-160, PDF, HTML, DOI. Volume 3, no. 10 (November 2004)
  10. Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  11. Richard F. Paige, Jonathan S. Ostroff, The Single Model Principle, pp. 63-81, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  12. Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric, BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning, pp. 77-96, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact