| |
| 2008 | ||
|---|---|---|
| 4 | EE | Judy Bowen, Steve Reeves: Refinement for User Interface Designs. Electr. Notes Theor. Comput. Sci. 208: 5-22 (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] |