 | 2011 |
|---|
| 14 |       | Judy Bowen,
Steve Reeves:
UI-driven test-first development of interactive systems.
EICS 2011: 165-174 |
| 13 | | Judy Bowen,
Steve Reeves:
Preface for FMIS 2011.
ECEASST 45: (2011) |
| 12 | | Judy Bowen,
Annika Hinze:
Supporting Mobile Application Development with Model-Driven Emulation.
ECEASST 45: (2011) |
| 2010 |
|---|
| 11 | | Judy Bowen,
Steve Reeves:
Developing usability studies via formal models of UIs.
EICS 2010: 175-180 |
| 10 | | Annika Hinze,
Judy Bowen,
Yuting Wang,
Robi Malik:
Model-driven GUI & interaction design using emulation.
EICS 2010: 273-278 |
| 2009 |
|---|
| 9 | | Judy Bowen,
Steve Reeves:
Supporting Multi-path UI Development with Vertical Refinement.
Australian Software Engineering Conference 2009: 64-72 |
| 8 | | Judy Bowen,
Steve Reeves:
UI-Design Driven Model-Based Testing.
ECEASST 22: (2009) |
| 7 | | Judy Bowen,
Steve Reeves:
Refinement for user interface designs.
Formal Asp. Comput. 21(6): 589-612 (2009) |
| 2008 |
|---|
| 6 | | Judy Bowen,
Steve Reeves:
Refinement for User Interface Designs.
Electr. Notes Theor. Comput. Sci. 208: 5-22 (2008) |
| 5 | | Judy Bowen,
Steve Reeves:
Formal models for user interface design artefacts.
ISSE 4(2): 125-141 (2008) |
| 2007 |
|---|
| 4 | | Judy Bowen,
Steve Reeves:
Using formal models to design user interfaces: a case study.
BCS HCI (1) 2007: 159-166 |
| 3 | | Judy Bowen,
Steve Reeves:
Formal Models for Informal GUI Designs.
Electr. Notes Theor. Comput. Sci. 183: 57-72 (2007) |
| 2006 |
|---|
| 2 | | Judy Bowen,
Steve Reeves:
Formal Refinement of Informal GUI Design Artefacts.
ASWEC 2006: 221-230 |
| 2005 |
|---|
| 1 | | Judy Bowen,
Steve Reeves:
Including Design Guidelines in the Formal Specification of Interfaces in Z.
ZB 2005: 454-471 |
Data released under the ODC-BY 1.0 license — See also our legal information page