Dr Judy Bowen

Senior Lecturer (Computer Sciences)

Qualifications: GradDipInfoTech MSc PhD Waikato

Contact Details

Room: G.1.07
Phone: +64 7 838 4547
Extension: 4547
Fax: +64 7 858 5095

Research Interests

My research is in the area of the design and implementation of safety-critical interactive systems. I am particularly interested in the integration of informal user interface design methods with formal software development processes.

Teaching Commitments

Recent Publications

  • Chang, C., Hinze, A., Bowen, J., Gilbert, L., & Starkey, N. (2018). Mymemory: A mobile memory assistant for people with traumatic brain injury. International Journal of Human-Computer Studies, 117, 4-19. doi:10.1016/j.ijhcs.2018.02.006

  • Bowen, J., & Khanal, S. (2018). Test stub generation from interaction and behavioural models. In Proc 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018): Late-Breaking Results. Paris, France.

  • Bowen, J., & DIttmar, A. (2018). Formal definitions for design spaces and traces. In J. Lv, H. Zhang, M. Hinchey, & X. Liu (Eds.), Proc 24th Asia-Pacific Software Engineering Conference (APSEC) (pp. 600-605). Nanjing, China: IEEE. doi:10.1109/APSEC.2017.72 Open Access version:

  • Turner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In Proc 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018). Toulouse, France.

Find more research publications by Judy Bowen