Breadcrumbs

Dr Judy Bowen

Senior Lecturer (Computer Sciences)

Qualifications: GradDipInfoTech MSc PhD Waikato

Contact Details

Email: jbowen@waikato.ac.nz
Room: G.1.07
Phone: +64 7 838 4547
Extension: 4547
Fax: +64 7 858 5095
Website: http://www.cs.waikato.ac.nz/~jbowen/

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

  • 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.

  • Turner, J., Bowen, J., & Reeves, S. (2018). Simulating interaction sequences. 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: https://hdl.handle.net/10289/11817

  • 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