Judy Bowen's Homepage

Dr Judy Bowen
Room G1.07
Computer Science Department
University of Waikato
Hamilton
New Zealand
jbowen@cs.waikato.ac.nz

I am a lecturer in the department of Computer Science at the University of Waikato.
My research is in the area of formal methods for interactive systems, particularly the integration of informal user interface design methods with formal software development processes.

I am currently supervising graduate students in the areas of reverse-engineering tools and methods for interactive systems and model-based testing methods for interactive systems with a particular focus on interactive medical devices such as syringe pumps and infusion pumps. Please contact me if you are interested in a research project in this area.

In 2012 I will be teaching COMP424/524-12A and COMP315-12B in Hamilton as well as assisting with the delivery of COMP333-12A and COMP325-12B at the Tauranga campus.

Publications:
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, Formal Aspects of Computing Online First, 2008.
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.
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
J. Bowen Extending μ-Charts COMP591 Report,Waikato University, Febuary 2004

When I'm not at the University I can be found playing with my dogs, running, playing hockey, skiing, lazing on the beach or doing nothing at all.