Ray Nickson

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A refinement calculus for logic programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
A Refinement Calculus for Logic Programs CoRR (2002)
Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference (2000)
David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
A Program Refinement Tool. Formal Aspects Comput. 10 (2) (1998)
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
The Cogito Development System. AMAST (1997)
Ray Nickson, Ian J. Hayes
Supporting Contexts in Program Refinement. Sci. Comput. Program. 29 (3) (1997)