Ray Nickson

According to our database, Ray Nickson authored at least 9 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Developing Logic Programs from Specifications Using Stepwise Refinement.

Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2002

A refinement calculus for logic programs.

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson

Theory Pract. Log. Program., 2002

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology.

Mark Utting, Peter J. Robinson, Ray Nickson

LMS J. Comput. Math., 2002

2000

A Survey of Software Development Practices in the New Zealand Software Industry .

Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1998

A Program Refinement Tool.

David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh

Formal Aspects Comput., 1998

1997

Supporting Contexts in Program Refinement.

Ray Nickson, Ian J. Hayes

Sci. Comput. Program., 1997

The Cogito Development System.

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

Metavariables and Conditional Refinements in the Refinement Calculus.

Raymond G. Nickson, Lindsay J. Groves

Proceedings of the 6th Refinement Workshop, 1994

1992

A Tactic Driven Refinement Tool.

Lindsay Groves, Raymond G. Nickson, Mark Utting

Proceedings of the 5th Refinement Workshop, 1992