Premium
Preface
Author(s) -
Meinhardt A.,
Schuppe H.C.
Publication year - 2005
Publication title -
andrologia
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.633
H-Index - 59
eISSN - 1439-0272
pISSN - 0303-4569
DOI - 10.1111/j.1439-0272.2005.00702.x
Subject(s) - citation , library science , cognitive science , computer science , medicine , psychology
The aim of this book was to present a snapshot of the use of Formal Methods in Human-Computer Interaction. Through contributed chapters and edited reviews, its goal was to capture the state of the art and suggest potential future topics for theoretical research and practical development. Formal Methods have a long history in Human-Computer Interaction studies and play a central role in the engineering of interactive systems. Modelling, execution and simulation, as well as analysis, validation and verification, are key aspects for the application of formal methods in the engineering of interactive systems. This Handbook on Formal Methods in Human-Computer Interaction was motivated as an outcome of a workshop conducted at the 7th ACM SIGCHI Symposium on Engineering of Interactive Computing Systems (EICS) 2015 which took place in Duisburg, Germany. The main goal of this workshop was to offer an exchange platform for scientists who are interested in the formal modelling and description of interaction, user interfaces and interactive systems. The workshop further picked up the goal of a workshop organized at ACM SIGCHI conference on Human Factors in Computing Systems (CHI’96) in Vancouver, which was the initiation of a book publication released in 1997 edited by Palanque and Paternò. Since then, various workshops have been conducted, among these the workshop on Formal Aspects of the Human Computer Interface (FAHCI) in 1996 in Sheffield and the series of workshops on “Formal methods and interactive systems” in 2006 in Macau, 2007 in Lancaster, 2009 in Eindhoven, 2011 in Limerick and 2013 in London. Nevertheless, the last comprehensive collection of work in Formal Methods in Human-Computer Interaction is published by Palanque and Paternò (1997). It succeeded the book published by Harrison and Thimbleby (1990), which presents a wide collection of techniques comparable to that by Palanque and Paternò. In this regard, this book presents an update after nearly two decades of work in the field. Formal modelling in the description of interaction, user interfaces and interactive systems is still of great interest in current research and modelling strategies. Formal models offer advantages such as computer-based validation and verification, formal modification capabilities and the ability to be executable. In domains such as