A5090299074- Usability and User Interface Design
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Human-Automation Interaction and Safety
- Business Process Modeling and Analysis
- Risk and Safety Analysis
- Software Reliability and Analysis Research
- Safety Systems Engineering in Autonomy
- Multimedia Communication and Technology
- Healthcare Technology and Patient Monitoring
- Context-Aware Activity Recognition Systems
- Occupational Health and Safety Research
- Interactive and Immersive Displays
- Semantic Web and Ontologies
- Personal Information Management and User Behavior
- Simulation Techniques and Applications
- Service-Oriented Architecture and Web Services
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- Persona Design and Applications
- AI-based Problem Solving and Planning
- Data Visualization and Analytics
- Distributed systems and fault tolerance
- Speech and dialogue systems
Sherwin Williams (United States)
2025
Newcastle University
2014-2023
University of Newcastle Australia
2010-2020
Queen Mary University of London
2012-2017
University of Minho
2015
INESC TEC
2015
Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC)
2015
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
2015
British Geological Survey
2014
Medical College of Wisconsin
2002-2010
Abstract In this article we present a new approach to interaction modeling based on the concept of information resources. The is inspired by recent distributed cognition (DC) literature but develops model that applies specifically human-computer (HCI) modeling. Of course, there are many approaches HCI, and motivation not offer yet another approach. Rather, our developments in DC so obviously relevant HCI design, ideas have lacked visibility community. By providing whose concepts rooted...
Abstract The concept of an ‘interactor’ has been introduced by Faconti and Paterno' [6] as abstraction entity in interactive graphics capable both input output. However the notion interaction object need not be confined to systems; it represents a useful structure for thinking reasoning about behaviour systems general. As part Esprit Basic Research Action 7040 (Amodeus‐2) we are using interactor, existing work on state‐based processes agents, develop model theory systems. In this paper...
This paper is concerned with support for the process of usability engineering. The aim to use formal techniques provide a systematic approach that more traceable, and because it systematic, repeatable. As result this some subjective aspects analysis can be removed. technique explores exhaustively those features specific design fail satisfy set properties. It also analyzes where possible quantify cost use. method illustrated using example medical device. While many its tool have already been...
Medical device regulators such as the US Food and Drug Administration (FDA) aim to make sure that medical devices are reasonably safe before entering market. To expedite approval process it more uniform rigorous, considering development of reference models encapsulate safety requirements against which software incorporated in must be verified. Safety, insofar relates interactive systems its regulation, is generally a neglected topic, particularly context systems. An example presented here...
Traditional tests (for example NACE TM0174 procedure B) have been used to evaluate long-term immersion performance of linings in the energy market confirm performance. Experience has allowed results from these correlate with long term fossil fuel feedstocks (crude etc.). The same cannot be said about lipid-based (waste cooking oil, beef tallow, vegetable oils etc.) where rulebook goes out window. material you start testing is not as finish with, time and temperature a ridiculous impact on...
Hypertension and its complications represent leading causes of morbidity mortality. Although the cause hypertension is unknown in most patients, genetic factors are recognized as contributing significantly to an individual’s lifetime risk developing condition. Here, we investigated role G protein regulator phosducin (Pdc) hypertension. Mice with a targeted deletion gene encoding Pdc (Pdc–/– mice) had increased blood pressure despite normal cardiac function vascular reactivity, displayed...
This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem procurement medical devices. In such situations several different manufacturers offer solutions that support a par- ticular clinical activity. Apart from cost, which dominating factor, variations between devices are relatively subtle consequences particular design fea- tures not clear manufacturers' manuals, demonstrations or trial uses. De- spite their subtlety these differences...
One part of demonstrating that a device is acceptably safe, often required by regulatory standards, to show it satisfies set requirements known mitigate hazards. This paper concerned with how demonstrate user interface software design compliant use-related safety requirements. A methodology presented based on the use formal methods technologies provide guidance developers about addressing three key verification challenges: 1) validate model, and faithful representation device; 2) formalize...
Interactors are components in the description of an interactive system that encapsulate a state, events manipulate and means by which state is made perceivable to users (the presentation). This paper concerns relationship between models interactors being developed, at York Pisa, context Esprit Basic Research Action 7040 (Amodeus-2). The differ their expression three interactor, after relating informal notion interactor we describe view interaction afforded each model appropriate.
Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and health care. Early detection of latent problems can be facilitated by user-centered methods that integrate formal verification technologies. This article considers the role technologies play context considering following three existing tools: CIRCUS, PVSio-web, IVY. These tools have been developed support model based analysis interfaces. They their foundations...