Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

The Handbook of Formal Methods in Human-Computer Interaction

Part of the Human–Computer Interaction Series Book Series

Editors: Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe

DOI: 10.1007/978-3-319-51838-1

ISBN: 978-3-319-51837-4

Publisher: Springer International Publishing - Springer Journals

Apr 25, 2017

1 - 10 of 21 Chapters

Available

State of the Art on Formal Methods for Interactive Systems

Oliveira, Raquel; Palanque, Philippe; Weyers, Benjamin; Bowen, Judy; Dix, Alan

Pages: 3 –55

[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...
Available

Topics of Formal Methods in HCI

Bowen, Judy; Dix, Alan; Palanque, Philippe; Weyers, Benjamin

Pages: 57 –64

[In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into...
Available

Trends and Gaps

Dix, Alan; Weyers, Benjamin; Bowen, Judy; Palanque, Philippe

Pages: 65 –88

[This chapter attempts to identify future research directions for formal methods in HCI. It does this using two main approaches. First, we will look at trends within HCI more broadly and the challenges these pose for formal methods. These trends in HCI are often themselves driven by external...
Available

Case Studies

Weyers, Benjamin; Harrison, Michael D.; Bowen, Judy; Dix, Alan; Palanque, Philippe

Pages: 89 –121

[This chapter introduces a set of case studies that are used in the rest of the book. They encompass well-known problem domains in human–computer interaction research and provide a practical focus for the approaches presented in this book. The set of case studies includes case studies concerned...
Available

Visual and Formal Modeling of Modularized and Executable User Interface Models

Weyers, Benjamin

Pages: 125 –160

[This chapter presents the visual Formal Interaction Logic Language (FILL) for the description of executable user interface models. This modeling approach is based on an architecture called 3LA, which separates a user interface from its outward appearance as a set of interaction elements called...
Available

Combining Models for Interactive System Modelling

Bowen, Judy; Reeves, Steve

Pages: 161 –182

[Our approach for modelling interactive systems has been to develop models for the interface and interaction which are lightweight but with an underlying formal semantics. Combined with traditional formal methods to describe functional behaviour, this provides the ability to create a single...
Available

Activity Modelling for Low-Intention Interaction

Dix, Alan

Pages: 183 –210

[When modelling user interactions, we normally assume that the user is acting with intention: some very explicit such as opening a valve in a nuclear power station, others more tacit, hardly needing any thought, for example tipping a tablet to turn a page. However, there are also a range of...
Available

Modelling the User

Curzon, Paul; Rukšėnas, Rimvydas

Pages: 211 –245

[We overview our research on the formal modelling of user behaviour, generic user modelling, as a form of usability evaluation looking for design flaws that lead to systematic human error. This involves formalising principles of cognitively plausible behaviour. We combine a user model with a...
Available

Physigrams: Modelling Physical Device Characteristics Interaction

Dix, Alan; Ghazali, Masitah

Pages: 247 –271

[In industrial control rooms, in our living rooms, and in our pockets, the devices that surround us combine physical controls with digital functionality. The use of a device, including its safety, usability and user experience, is a product of the conjoint behaviour of the physical and digital...
Available

Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models

Weyers, Benjamin

Pages: 273 –294

[This chapter presents an approach for the description and implementation of adaptable user interfaces based on reconfigurable formal user interface models. These models are (partially) defined as reference nets, a special type of Petri nets. The reconfiguration approach is based on category...

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy