Publications


Journals
J. Bowen and A. Hinze Supporting Mobile Application Development with Model-Driven Emulation. EC-EASST, vol 45. 2011
J. Bowen and S. Reeves UI-Design Driven Model-Based TestingEC-EASST, vol 22. 2009
J. Bowen and S. Reeves Refinement for User Interface Designs, Formal Aspects of Computing, vol.21, no. 6, pp. 589-612. 2009.
J. Bowen and S. Reeves Formal Models for User Interface Design Artefacts Innovations in Systems and Software Engineering 4(2), 125-141. 2008.
J. Bowen and S. Reeves Formal models for Informal GUI Designs, Electronic Notes in Theoretical Computer Science 183, 57-72. 2007

Refereed Conference Proceedings
J. Bowen and A. Hinze Using Ontologies to Reason About the Usability of Interactive Medical Devices in Multiple Contexts of Use,EICS12, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Copenhagen, 2012
J. Bowen and S. Reeves Modelling User Manuals of Modal Medical Devices and Learning from the Experience.EICS12, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Copenhagen, 2012
J. Bowen and A. Hinze Supporting Mobile Application Development with Model-Driven Emulation. FMIS11, Formal Methods for Interactive Systems, Limerick, Ireland, 2011.
J. Bowen and S. Reeves UI-Driven Test-First Development of Interactive Systems.EICS11, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Pisa, 2011
J.Bowen and S. Reeves Developing Usability Studies via Formal Models of UIs, in EICS10, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, 2010
A.Hinze, J.Bowen, Y. Wang and R. Malik Model-driven GUI & Interaction Design, in EICS10, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, 2010
J. Bowen and S. Reeves UI-Design Driven Model-Based Testing, FMIS09, Formal Method for Interactive Systems, Eindhoven, UK, 2009
J. Bowen and S. Reeves Supporting Multi-Path UI Development with Vertical Refinement, ASWEC 2009, The Australian Software Engineering Conference, April, 2009
J.Bowen Formal Models and Refinement for Graphical User Interface Design PhD Thesis, Waikato University, 2008.
J. Bowen and S. Reeves Refinement for User Interface Designs, FMIS '07, Formal Methods for Interactive Systems, Lancaster, UK, 2007
J. Bowen and S. Reeves Using Formal Models to Design User Interfaces: A Case Study, HCI'07, Lancaster University, UK, 2007
J. Bowen and S. Reeves Formal Methods and Refinement for User-Centred Design Artefacts, NZCSRSC 2007, New Zealand Computer Science Research Students Conference, University of Waikato, Hamilton, New Zealand, 2007
J. Bowen and S. Reeves Formal Refinement of Informal GUI Design Artefacts, ASWEC 2006, The Australian Software Engineering Conference, April, 2006
J. Bowen Celebrity Death Match, Formal Methods vs. User-Centred Design, In proceedings of Computing Women's Congress, Student Papers, Hamilton, February 2006.
J. Bowen and S. Reeves Including Design Guidelines in the Formal Specification of Interfaces in Z, In ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
J. Bowen Formal Specification of User Interface Design Guidelines Master's Thesis, Waikato University, Feb 2005



back...