| |
| * | 2009 | |
|---|---|---|
| 6 | EE | Judy Bowen, Steve Reeves: Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference 2009: 64-72 |
| 2008 | ||
| 5 | EE | Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008) |
| 4 | EE | Judy Bowen, Steve Reeves: Formal models for user interface design artefacts. ISSE 4(2): 125-141 (2008) |
| 2007 | ||
| 3 | EE | Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007) |
| 2006 | ||
| 2 | EE | Judy Bowen, Steve Reeves: Formal Refinement of Informal GUI Design Artefacts. ASWEC 2006: 221-230 |
| 2005 | ||
| 1 | EE | Judy Bowen, Steve Reeves: Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB 2005: 454-471 |
| 1 | Steve Reeves | [1] [2] [3] [4] [5] [6] |