Articles matching “Paige”
- Lola Burgueño, Martin Gogolla, Richard Paige, Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday, pp. 1-5, PDF, DOI. Volume 21, no. 4 (October 2022)
- Richard F. Paige, Fiona A.C. Polack, Steffen Zschaler, Thomas Chiang, Nicholas Annable, Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models, pp. 4:1-13, PDF, DOI. Volume 21, no. 4 (October 2022)
- Lars Hamann, Richard Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo, Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday, pp. 1-5, PDF, DOI. Volume 19, no. 3 (October 2020)
- 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)
- 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)
- Richard Paige, Louis Rose, Lies, Damned Lies and UML2Java, HTML, DOI. Volume 12, no. 1 (January 2013)
- 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)
- Phillip J. Brooke, Richard F. Paige, Exceptions in Concurrent Eiffel, pp. 111-126, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
- 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)
- 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)
- 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)
- 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)
- Richard F. Paige, Phillip J. Brooke, Integrating BON and Object-Z, pp. 121-141, PDF, HTML, DOI. Volume 3, no. 3 (March 2004)
- Richard F. Paige, Jonathan S. Ostroff, The Single Model Principle, pp. 63-81, PDF, HTML, DOI. Volume 1, no. 5 (November 2002)
- 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)