Greg Reeve

According to our database, Greg Reeve authored at least 8 papers between 1999 and 2006.

Collaborative distances:

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

2006

Logic and refinement for charts.

Greg Reeve, Steve Reeves

Proceedings of the Computer Science 2006, 2006

2003

Semantic Properties of mu-Charts.

Doug Goldson, Greg Reeve

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

µ-Chart-Based Specification and Refinement.

Doug Goldson, Greg Reeve, Steve Reeves

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Idioms for mu-Chart.

Grant Anderson, Greg Reeve, Steve Reeves

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

2000

mu-Charts and Z: Hows, Whys, and Wherefores.

Greg Reeve, Steve Reeves

Proceedings of the Integrated Formal Methods, Second International Conference, 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

mu-Charts and Z: examples and extensions.

Greg Reeve, Steve Reeves

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Improving Software using Requirements Formalisation.

Greg Reeve

Proceedings of the Third New Zealand Computer Science Research Students' Conference, 1999