If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that. Fabio Paterno also discusses related issues relevant to designing user interfaces and provides a state-of-the-art review of the field, including recently developed methods, current results and problems and trends. Details of the notation and analysis discussed, including case studies of industrial interest, are available for those who want to...

It was a wager, but it has worked. MobileH CIuse dt obe a w orkshop, of ten heldi n conjunction with other events. Instead, this time it was a true symposium. I felt there was a need for this change because ofth e ever increasingin terestp romptedb yth e issues involved in interactive mobile systems and the lack of specific eventsf ocusing on such aspects. Although there are eventsa ddressing thebr oad areaof ubi quitous computing, they tend to concentrate on other topics. For example, a paper on criteria for the design of interactive mobile phone applications would bec onsidered...

The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of computer science at the worldwide level and it has a federated structure, which takes into account the rapidly growing and expanding interests in this area. Informatics is rapidly changing and becoming more and more connected to a number of human and social science disciplines. Human-computer interaction is now a mature and still dynamically evolving part of this area, which is represented in IFIP by the Technical Committee 13 on HCI. In this WCC edition it was interesting and useful to have again a...

Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive devices (including cell phones, PDA's, desktop computers, digital television sets, and intelligent watches). A frustrating limitation is that people have to start their session over again from the beginning at each interaction device change. This book reports results based on the work in the OPEN project. It provides solutions able to address three key aspects: device change, state persistence and content adaptation....

Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods offer useful support in usability evaluation.

The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of computer science and a number of related Human and Social Science disciplines at the worldwide level and it has a federated structure, which takes into account the rapidly growing and expanding interests in this area. Human-Computer Interaction is now a mature and still dynamically evolving part of this area, which is represented in IFIP by the Technical Committee 13 on HCI. We are convinced that in this edition of WCC, which takes place for the first time in Italy, it will be interesting and useful...

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the...

Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive devices (including cell phones, PDA's, desktop computers, digital television sets, and intelligent watches). A frustrating limitation is that people have to start their session over again from the beginning at each interaction device change. This book reports results based on the work in the OPEN project. It provides solutions able to address three key aspects: device change, state persistence and content adaptation....

The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of computer science at the worldwide level and it has a federated structure, which takes into account the rapidly growing and expanding interests in this area. Informatics is rapidly changing and becoming more and more connected to a number of human and social science disciplines. Human-computer interaction is now a mature and still dynamically evolving part of this area, which is represented in IFIP by the Technical Committee 13 on HCI. In this WCC edition it was interesting and useful to have again a...