Greg Reeve

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Greg Reeve, Steve Reeves
Logic and refinement for charts. ACSC (2006)
Doug Goldson, Greg Reeve
Semantic Properties of mu-Charts. SEFM (2003)
Doug Goldson, Greg Reeve, Steve Reeves
µ-Chart-Based Specification and Refinement. ICFEM (2002)
Grant Anderson, Greg Reeve, Steve Reeves
Idioms for mu-Chart. Australian Software Engineering Conference (2001)
Greg Reeve, Steve Reeves
mu-Charts and Z: Hows, Whys, and Wherefores. IFM (2000)
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)
Greg Reeve, Steve Reeves
mu-Charts and Z: examples and extensions. APSEC (2000)
Greg Reeve
Improving Software using Requirements Formalisation. New Zealand Computer Science Research Students' Conference (1999)