Graham Collins

Publication Activity (10 Years)

Years Active: 1995-2015
Publications (10 Years): 1

Top Topics

Personal Software Process

Big Data Analytics

Teaching Strategies

Top Venues

Publications

Graham Collins, Hugh Varilly, Yoshinori Tanabe
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. ECSA Workshops (2015)
Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
The PROSPER toolkit. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Brian Henderson-Sellers, Graham Collins, Ian M. Graham
UML Compatible Process. HICSS (2001)
Brian Henderson-Sellers, Graham Collins, Richard Dué, Ian M. Graham
A qualitative comparison of two processes for object-oriented software development. Inf. Softw. Technol. 43 (12) (2001)
Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins
Third generation OO processes: a critique of RUP and OPEN from a project management perspective. APSEC (2000)
Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
The PROSPER Toolkit. TACAS (2000)
Graham Collins, Louise A. Dennis
System Description: Embedding Verification into Microsoft Excel. CADE (2000)
Graham Collins
A Proof Tool for Reasoning About Functional Programs. TPHOLs (1996)
Graham Collins
Supporting Reasoning about Functional Programs: An Operational Approach. Functional Programming (1995)
Graham Collins, Don Syme
A Theory of Finite Maps. TPHOLs (1995)