Cover Image

Formal methods in human-computer interaction /

Show other versions (1)

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Human-computer interaction. Formal methods (Computer science) Processamento grafico (graphics) Interaction homme-ordinateur. Interfaces utilisateur (informatique) Algebraische Spezifikation. Aufsatzsammlung. Benutzeroberfläche. Formale Spezifikationstechnik. Mensch-Maschine-Kommunikation. World Wide Web. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Engineering for human-computer interaction : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 : revised papers /
Published: (2001)

People and computers XI : proceedings of HCI '96 /
Published: (1996)

Computer human interaction : 6th Asia Pacific conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004 : proceedings /
Published: (2004)

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
Published: (2001)

User modeling 2001 : 8th international conference, UM 2001, Sonthofen, Germany, July 13-17, 2001 : proceedings /
Published: (2001)

User-centered interaction paradigms for universal access in the information society : 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004 : revised selected papers /
Published: (2004)

User Modeling 2003 : 9th international conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003 : proceedings /
Published: (2003)

Advances in human-computer interaction : human comfort and security /
Published: (1995)

Gesture-based communication in human-computer interaction : international Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings /
Published: (1999)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published: (2001)

Formal methods and object technology /
Published: (1996)

Smart things : ubiquitous computing user experience design /
by: Kuniavsky, Mike
Published: (2010)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
Published: (2004)

People and computers XIII : proceedings of HCI '98 /
Published: (1998)

Human-computer interaction with mobile devices and services : 5th international symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003 : proceedings /
Published: (2003)

Formal object-oriented development /
by: Lano, K.
Published: (1995)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Published: (2004)

Human comfort and security of information systems : advanced interfaces for the information society /
Published: (1997)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings /
Published: (2010)

Task models and diagrams for user interface design : 8th international workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009 : revised selected papers /
Published: (2010)

Mental models : aligning design strategy with human behavior /
by: Young, Indi
Published: (2008)

Haptic human-computer interaction : first international workshop, Glasgow, UK, August 31-September 1, 2000 : proceedings /
Published: (2001)

Toward autonomous, adaptive, and context-aware multimodal interfaces : theoretical and practical issues : third COST 2102 International Training School Caserta, Italy, March 15-19, 2010 : revised selected papers /
Published: (2011)

Collaborative virtual environments : digital places and spaces for interaction /
Published: (2001)

Multimodal human-computer communication : systems, techniques, and experiments /
Published: (1998)

Software engineering and human-computer interaction : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994 : proceedings /
Published: (1995)

Haptic and audio interaction design : 5th international workshop, HAID 2010, Copenhagen, Denmark, September 16-17, 2010, proceedings /
Published: (2010)

Human computer interaction with mobile devices : 4th international symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002 : proceedings /
Published: (2002)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
Published: (2002)

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
Published: (2010)

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
Published: (1999)

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings /
Published: (2006)

Understanding agent systems /
by: D'Inverno, Mark
Published: (2001)

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /
Published: (2003)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /
Published: (2004)

UM99 : user modeling ; proceedings of the seventh international conference, Banff, Canada, June 20-24, 1999 /
Published: (1999)

User modeling : proceedings of the sixth international conference, UM97, Chia Laguna, Sardinia, Italy, June 2-5 1997 /
Published: (1997)

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
Published: (2000)

Advances in formal methods.
Published: (2000)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
Published: (2011)