Items where authors include "Paige, R.F."

Article

Ramsin, R. and Paige, R.F. orcid.org/0000-0002-1978-9852 (2010) Iterative criteria-based approach to engineering the requirements of software development methodologies. IET SOFTWARE. pp. 91-104. ISSN 1751-8806

Brooke, P.J., Paige, R.F. and Jacob, J.L. (2007) A CSP Model of Eiffel's SCOOP. Formal Aspects of Computing, 19 (4). pp. 487-512. ISSN 0934-5043

Paige, R.F. and Ostroff, J.S. (2004) ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing, 16 (1). pp. 51-79. ISSN 0934-5043

Proceedings Paper

Kolovos, D.S., Paige, R.F. and Polack, F.A.C. (2006) Merging Models with the Epsilon Merging Language. In: Model Driven Engineering Languages and Systems. 9th International Conference, MoDELS 2006, October 1-6, 2006, Genova, Italy. Lecture Notes in Computer Science (4199). Springer , Berlin / Heidelberg , pp. 215-229. ISBN 978-3-540-45772-5

Abdullah, M.S., Evans, A., Benest, I. et al. (2 more authors) (2004) Modelling knowledge based systems using the executable modelling framework (XMF). In: 2004 Proceedings of the IEEE Conference on Cybernetics and Intelligent Systems. CIS 2004, December 1-3, 2004, Singapore. , 1055- 1060.