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
472017
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4 (2), 125-141, 2008
402008
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
392007
40 years of formal methods
D Bjørner, K Havelund
International Symposium on Formal Methods, 42-61, 2014
35*2014
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
342013
Case Studies
B Weyers, MD Harrison, J Bowen, A Dix, P Palanque
The Handbook of Formal Methods in Human-Computer Interaction, 89, 2017
29*2017
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
262012
Formal refinement of informal GUI design artefacts
J Bowen, S Reeves
Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006
242006
UI-driven test-first development of interactive systems
J Bowen, S Reeves
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
232011
Refinement for user interface designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 208, 5-22, 2008
202008
Using formal models to design user interfaces a case study
J Bowen, S Reeves
British Computer Society 1, 159-166, 2007
182007
Formal specification of user interface design guidelines
JA Bowen
University of Waikato, 2005
162005
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
152017
UI-design driven model-based testing
J Bowen, S Reeves
Innovations in Systems and Software Engineering 9 (3), 201-215, 2013
132013
Supporting mobile application development with model-driven emulation
J Bowen, A Hinze
Electronic Communications of the EASST 45, 2011
122011
Refinement for user interface designs
J Bowen, S Reeves
Formal Aspects of Computing 21 (6), 589-612, 2009
122009
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
112019
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
112018
Combining models for interactive system modelling
J Bowen, S Reeves
The Handbook of Formal Methods in Human-Computer Interaction, 161-182, 2017
112017
A semi-formal framework for describing interaction design spaces
J Bowen, A Dittmar
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20