| 2006 |
|---|
| 8 | EE | Greg Reeve,
Steve Reeves:
Logic and refinement for charts.
ACSC 2006: 13-23 |
| 2003 |
|---|
| 7 | EE | Doug Goldson,
Greg Reeve:
Semantic Properties of mu-Charts.
SEFM 2003: 148-155 |
| 2002 |
|---|
| 6 | EE | Doug Goldson,
Greg Reeve,
Steve Reeves:
µ-Chart-Based Specification and Refinement.
ICFEM 2002: 323-334 |
| 2001 |
|---|
| 5 | EE | Grant Anderson,
Greg Reeve,
Steve Reeves:
Idioms for mu-Chart.
Australian Software Engineering Conference 2001: 224-234 |
| 2000 |
|---|
| 4 | EE | Greg Reeve,
Steve Reeves:
mu-Charts and Z: examples and extensions.
APSEC 2000: 258- |
| 3 | EE | 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: 189-202 |
| 2 | EE | Greg Reeve,
Steve Reeves:
mu-Charts and Z: Hows, Whys, and Wherefores.
IFM 2000: 255-276 |
| 1999 |
|---|
| 1 | | Greg Reeve:
Improving Software using Requirements Formalisation.
New Zealand Computer Science Research Students' Conference 1999: 70-77 |
