Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   APSEC, 2000, pp:428-435 [Conf]
   
2. Graham Collins, Louise A. Dennis
   System Description: Embedding Verification into Microsoft Excel. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:497-501 [Conf]
   
3. Graham Collins
   Supporting Reasoning about Functional Programs: An Operational Approach. [Citation Graph (0, 0)][DBLP]
   Functional Programming, 1995, pp:3- [Conf]
   
4. Brian Henderson-Sellers, Graham Collins, Ian M. Graham
   UML Compatible Process. [Citation Graph (0, 0)][DBLP]
   HICSS, 2001, pp:- [Conf]
   
5. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
   The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
   TACAS, 2000, pp:78-92 [Conf]
   
6. Graham Collins
   A Proof Tool for Reasoning About Functional Programs. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1996, pp:109-124 [Conf]
   
7. Graham Collins, Don Syme
   A Theory of Finite Maps. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:122-137 [Conf]
   
8. Brian Henderson-Sellers, Graham Collins, Richard Dué, Ian M. Graham
   A qualitative comparison of two processes for object-oriented software development. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2001, v:43, n:12, pp:705-724 [Journal]
   
9. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
   The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:4, n:2, pp:189-210 [Journal]