Research Commons

Browsing Computing and Mathematical Sciences by Author "Bowen, Judith Alyson"

Research Commons

Browsing Computing and Mathematical Sciences by Author "Bowen, Judith Alyson"

Sort by: Order: Results:

  • Bowen, Judith Alyson; Reeves, Steve (ACM, 2010)
    Developing usability studies to evaluate software is a task requiring a wide variety of skills. For software developers who are not used to taking a user-centred approach to development it is often easier and more convenient ...
  • Reeves, Steve; Bowen, Judith Alyson (ACM, 2013)
    The workshop focuses on use of formal methods in the development and analysis of Interactive Systems. The workshop is particularly concerned with issues relating to Human Computer Interaction and to the analysis of interaction ...
  • Bowen, Judith Alyson; Reeves, Steve (Springer, 2008)
    There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal ...
  • Bowen, Judith Alyson; Reeves, Steve (Springer, Berlin, 2005)
    For any sort of computer system, the problems of being sure you have asked for the right thing and then being sure you are implementing the right thing are important and hard problems. For systems with a graphical user ...
  • Hinze, Annika; Bowen, Judith Alyson; Wang, Yuting; Malik, Robi (ACM, 2010)
    This paper introduces a model-driven emulator for the interaction and GUI design of complex interacting systems. It allows systems that are engineered using formal methods and modelling to be tested with users before the ...

Co-authors for Judith Alyson Bowen

Judith Alyson Bowen has 5 co-authors in Research Commons.