Now showing items 6-10 of 31

  • Digital news resources: An autoethnographic study of news encounters

    Cunningham, Sally Jo; Nichols, David M.; Hinze, Annika; Bowen, Judy (Springer, 2015)
    We analyze a set of 35 autoethnographies of news encounters, created by students in New Zealand. These comprise rich descriptions of the news sources, modalities, topics of interest, and news ‘routines’ by which the students ...
  • Eliciting usage contexts of safety-critical medical devices

    Bowen, Judy; Cunningham, Sally Jo; Hinze, Annika; Jung, Doris; Reeves, Steve (Department of Computer Science, The University of Waikato, 2014)
    This position paper outlines our approach to improve the usage choice of suitable devices in different health care environments (contexts). Safety-critical medical devices are presumed to have undergone a thorough ...
  • Formal Definitions for Design Spaces and Traces

    Bowen, Judy; Dittmar, Anke (IEEE, 2017)
    Within the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for software engineering methodologies and the creative aspects ...
  • Formal methods for interactive system: (FMIS 2013)

    Reeves, Steve; Bowen, Judy (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 ...
  • Formal Models and Refinement for Graphical User Interface Design

    Bowen, Judy (The University of Waikato, 2008)
    Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to ...