Design, Specification and Verification of Interactive Systems ’99

Design, Specification and Verification of Interactive Systems ’99
Author :
Publisher : Springer Science & Business Media
Total Pages : 292
Release :
ISBN-10 : 9783709168158
ISBN-13 : 3709168155
Rating : 4/5 (155 Downloads)

Book Synopsis Design, Specification and Verification of Interactive Systems ’99 by : D.J. Duke

Download or read book Design, Specification and Verification of Interactive Systems ’99 written by D.J. Duke and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting.


Design, Specification and Verification of Interactive Systems ’99 Related Books

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

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: 280
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-05-15 - Publisher: Springer

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: 253
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: 231
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: 441
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