Design, Specification and Verification of Interactive Systems ’97

Design, Specification and Verification of Interactive Systems ’97

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Download Now
Author
Publisher Springer Science & Business Media
Release Date
ISBN 3709168783
Pages 320 pages
Rating 4/5 (83 users)

More Books:

Design, Specification and Verification of Interactive Systems ’97
Language: en
Pages: 320
Authors: Michael D. Harrison
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed tha
Interactive Systems. Design Specification, and Verification
Language: en
Pages: 276
Authors: Stephen W. Gilroy
Categories: Computers
Type: BOOK - Published: 2006-05-15 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS
Design, Specification and Verification of Interactive Systems ’98
Language: en
Pages: 326
Authors: Panos Markopoulos
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

GET EBOOK

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever in
Design, Specification and Verification of Interactive Systems ’99
Language: en
Pages: 282
Authors: D.J. Duke
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 258
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whet
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 276
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-01-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Syst
Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 221
Authors: Chris J. Johnson
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive S
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 432
Authors: Joaquim Jorge
Categories: Computers
Type: BOOK - Published: 2003-12-15 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Syst
Engineering for Human-Computer Interaction
Language: en
Pages: 364
Authors: Murray R. Little
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

GET EBOOK

The papers collected here are those selected for presentation at the Eighth IFIP Conference on Engineering for Human-Computer Interaction (EHCI 2001) held in To
The Handbook of Formal Methods in Human-Computer Interaction
Language: en
Pages: 575
Authors: Benjamin Weyers
Categories: Computers
Type: BOOK - Published: 2017-04-24 - Publisher: Springer

GET EBOOK

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh