Related Books

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

DOWNLOAD 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
Design, Specification, and Verification of Interactive Systems '97
Language: en
Pages: 0
Authors:
Categories: Computer graphics
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD 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
Design, Specification and Verification of Interactive Systems ’98
Language: en
Pages: 336
Authors: Panos Markopoulos
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD 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
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 253
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD 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
Design, Specification and Verification of Interactive Systems ’99
Language: en
Pages: 292
Authors: D.J. Duke
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD 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