Using formal models to design user interfaces a case study

The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such as reachability and completeness and, perhaps most importantly, can help incorporate the user interface design process into a larger, formally-based, software development process. Often, descriptions of such models and examples are presented in isolation from real-world practice in order to focus on particular benefits, small focused examples or the general methodology. This paper presents a case study of developing the user interface to a new software application using a particular pair of formal models, presentation models and presentation interaction models. The aim of this study was to practically apply the use of formal models to the design process of a UI for a new software application. We wanted to determine how easy it would be to integrate such models into our usual development process and to find out what the benefits, and difficulties, of using such models were. We will show how we used the formal models within a user-centred design process, discuss what effect they had on this process and explain what benefits we perceived from their use

A Review of Milestones in the History of GUI Prototyping Tools

International audiencePrototyping is one of the core activities of User-Centered Design (UCD) processes and an integral component of Human-Computer Interaction (HCI) research. Nonetheless, for many years, prototyping was synonym of paper-based mock-ups and only more recently we can say that dedicated tools for supporting prototyping activities really reach the market. In this paper we propose to analyze the evolution of prototyping tools proposed by the academic community to support research activities and prototyping tools that are aimed and improve the development process of commercial user interfaces. Thus, this paper presents a review of past and current graphical user interface prototyping tools, in order to set up the state of the art in this field, observing fundamental milestones of features over time. For that, we have screened publications presented since 1988 in some of the main HCI conferences and 113 commercial tools available on the web. The results enable a brief comparison of characteristics present in both academic and commercial tools, how they have evolved and what are the gaps that can provide insights for future research and development

Exploring Research through Design in Animal-Computer Interaction

This paper explores Research through Design (RtD) as a potential methodology for developing new interactive experiences for animals. We present an example study from an on-going project and examine whether RtD offers an appropriate framework for developing knowledge in the context of Animal-Computer Interaction, as well as considering how best to document such work. We discuss the design journey we undertook to develop interactive systems for captive elephants and the extent to which RtD has enabled us to explore concept development and documentation of research. As a result of our explorations, we propose that particular aspects of RtD can help ACI researchers gain fresh perspectives on the design of technology-enabled devices for non-human animals. We argue that these methods of working can support the investigation of particular and complex situations where no idiomatic interactions yet exist, where collaborative practice is desirable and where the designed objects themselves offer a conceptual window for future research and development

Personalised trails and learner profiling within e-learning environments

This deliverable focuses on personalisation and personalised trails. We begin by introducing and defining the concepts of personalisation and personalised trails. Personalisation requires that a user profile be stored, and so we assess currently available standard profile schemas and discuss the requirements for a profile to support personalised learning. We then review techniques for providing personalisation and some systems that implement these techniques, and discuss some of the issues around evaluating personalisation systems. We look especially at the use of learning and cognitive styles to support personalised learning, and also consider personalisation in the field of mobile learning, which has a slightly different take on the subject, and in commercially available systems, where personalisation support is found to currently be only at quite a low level. We conclude with a summary of the lessons to be learned from our review of personalisation and personalised trails

From Keyword Search to Exploration: How Result Visualization Aids Discovery on the Web

A key to the Web's success is the power of search. The elegant way in which search results are returned is usually remarkably effective. However, for exploratory search in which users need to learn, discover, and understand novel or complex topics, there is substantial room for improvement. Human computer interaction researchers and web browser designers have developed novel strategies to improve Web search by enabling users to conveniently visualize, manipulate, and organize their Web search results. This monograph offers fresh ways to think about search-related cognitive processes and describes innovative design approaches to browsers and related tools. For instance, while key word search presents users with results for specific information (e.g., what is the capitol of Peru), other methods may let users see and explore the contexts of their requests for information (related or previous work, conflicting information), or the properties that associate groups of information assets (group legal decisions by lead attorney). We also consider the both traditional and novel ways in which these strategies have been evaluated. From our review of cognitive processes, browser design, and evaluations, we reflect on the future opportunities and new paradigms for exploring and interacting with Web search results

Ono: an open platform for social robotics

In recent times, the focal point of research in robotics has shifted from industrial ro- bots toward robots that interact with humans in an intuitive and safe manner. This evolution has resulted in the subfield of social robotics, which pertains to robots that function in a human environment and that can communicate with humans in an int- uitive way, e.g. with facial expressions. Social robots have the potential to impact many different aspects of our lives, but one particularly promising application is the use of robots in therapy, such as the treatment of children with autism. Unfortunately, many of the existing social robots are neither suited for practical use in therapy nor for large scale studies, mainly because they are expensive, one-of-a-kind robots that are hard to modify to suit a specific need. We created Ono, a social robotics platform, to tackle these issues. Ono is composed entirely from off-the-shelf components and cheap materials, and can be built at a local FabLab at the fraction of the cost of other robots. Ono is also entirely open source and the modular design further encourages modification and reuse of parts of the platform