Articles matching “Ostroff”
- 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, 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)