Follow
Judy Bowen
Title
Cited by
Cited by
Year
The handbook of formal methods in human-computer interaction
B Weyers, J Bowen, A Dix, P Palanque
Springer, 2017
822017
Case Studies
B Weyers, MD Harrison, J Bowen, A Dix, P Palanque
The Handbook of Formal Methods in Human-Computer Interaction, 89, 2017
49*2017
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4, 125-141, 2008
492008
Investigating real-time monitoring of fatigue indicators of New Zealand forestry workers
J Bowen, A Hinze, C Griffiths
Accident Analysis & Prevention 126, 122-141, 2019
452019
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
442007
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
402013
Modelling user manuals of modal medical devices and learning from the experience
J Bowen, S Reeves
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012
282012
MyMemory: A mobile memory assistant for people with traumatic brain injury
C Chang, A Hinze, J Bowen, L Gilbert, N Starkey
International Journal of Human-Computer Studies 117, 4-19, 2018
252018
Refinement for user interface designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 208, 5-22, 2008
252008
Generating obligations, assertions and tests from UI models
J Bowen, S Reeves
Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-18, 2017
242017
Formal refinement of informal GUI design artefacts
J Bowen, S Reeves
Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006
242006
Combining models for interactive system modelling
J Bowen, S Reeves
The handbook of formal methods in human-computer interaction, 161-182, 2017
232017
UI-driven test-first development of interactive systems
J Bowen, S Reeves
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
212011
Using formal models to design user interfaces a case study
J Bowen, S Reeves
British Computer Society 1, 159-166, 2007
212007
Personal data collection in the workplace: Ethical and technical challenges
J Bowen, A Hinze, C Griffiths, V Kumar, D Bainbridge
Electronic Visualisation and the Arts (EVA 2017), 2017
192017
Wearable technology for hazardous remote environments: Smart shirt and Rugged IoT network for forestry worker health
A Hinze, J Bowen, JL König
Smart Health 23, 100225, 2022
172022
Formal specification of user interface design guidelines
JA Bowen
University of Waikato, 2005
172005
UI-design driven model-based testing
J Bowen, S Reeves
Innovations in Systems and Software Engineering 9, 201-215, 2013
162013
Refinement for user interface designs
J Bowen, S Reeves
Formal Aspects of Computing 21, 589-612, 2009
152009
Investigating wearable technology for fatigue identification in the workplace
C Griffiths, J Bowen, A Hinze
Human-Computer Interaction-INTERACT 2017: 16th IFIP TC 13 International …, 2017
142017
The system can't perform the operation now. Try again later.
Articles 1–20