Articles matching “Paige”

  1. Richard Paige, Louis Rose, Lies, Damned Lies and UML2Java, HTML, DOI. Volume 12, no. 1 (January 2013)
  2. 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)
  3. Phillip J. Brooke, Richard F. Paige, Exceptions in Concurrent Eiffel, pp. 111-126, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
  9. Richard F. Paige, Jonathan S. Ostroff, The Single Model Principle, pp. 63-81, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
  10. 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