Creating models of interactive systems with the support of lightweight reverse-engineering tools

Bowen, Judy

doi:10.1145/2774225.2774840

Cited by 2 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This allows consideration of both design and functionality using formal and informal methods at the requirements stage and throughout development. It also lends itself to integrated testing approaches as well as post-implementation and reverse-engineering analysis methods [Bowen, 2015, Bowen & Reeves, 2008. While much of this work does not explicitly incorporate task models, they are usually considered as implicit inputs into the user-centred design approach that forms the basis for UI and interaction models.…”

Section: Model-based Design For Interactive Systemsmentioning

confidence: 99%

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design

Bowen

Coben

2021

Interacting With Computers

Self Cite

View full text Add to dashboard Cite

Task models are used in many different ways throughout the design and development of interactive systems. When the interactive systems are safety critical, task models can play an important role in ensuring system behaviours are consistent with user requirements, which may help to prevent errors. While task models can be used to describe a user’s goals and the steps required to achieve that goal, to understand where user errors may occur we also need to consider the users’ understanding of how to perform a task and how this relates to the system they are using. Our focus is on the use of medical devices such as syringe drivers and infusion pumps for intravenous medication, which forms a major part of hospital inpatient care throughout the world. While we might rely on software engineering and human factors techniques to ensure correctness of such devices, their use by medical personnel in practice includes other factors that are equally important. These include training medical personnel in the use of medical devices. Also numeracy education for medical staff to ensure that they are able to set up and perform the necessary calculations to convert prescribed medication into the appropriate values and measures for their delivery mechanisms. We have developed an approach that aims to bring together concepts of technology design (both functional correctness and usability concerns), numeracy and medication delivery competency. In order to do so we use task models as a common language that enables us to consider these different domains in a single way. We find that the ability to describe the two domains within a single process allows us to compare models of knowledge, tasks and use of devices, which can elicit potential mismatches and problems.

show abstract

Section: Model-based Design For Interactive Systemsmentioning

confidence: 99%

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design

Bowen

Coben

2021

Interacting With Computers

Self Cite

View full text Add to dashboard Cite

show abstract

“…Some work has been done on supporting an automated approach. Using a combination of dynamic and static analysis of code and Java implementations has been investigated and this allows UI widgets and some behaviours to be identified which can be used to partially construct models and support their completion (Bowen 2015).…”

Section: Modellingmentioning

confidence: 99%

State of the Art on Formal Methods for Interactive Systems

Oliveira¹,

Palanque²,

Weyers³

et al. 2017

Human–Computer Interaction Series

Self Cite

View full text Add to dashboard Cite

This chapter provides an overview of several formal approaches for the design, specification and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not selfcontained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide an historical perspective at the main contributions in the area of formal methods in the field of Human-Computer Interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

show abstract

Creating models of interactive systems with the support of lightweight reverse-engineering tools

Cited by 2 publications

References 21 publications

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design

Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design

State of the Art on Formal Methods for Interactive Systems

Contact Info

Product

Resources

About