Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)
by Gavin Doherty, Ann Blandford
Revised papers from DSVIS 2006 explore design, specification, and verification techniques for interactive systems in computer science.
About This Book
This volume collects revised papers from the 13th International Workshop on Interactive Systems held in Dublin, Ireland in July 2006.
The workshop focused on the design, specification, and verification of interactive systems.
Contributions address methods and tools used in the development and evaluation of interactive technologies.
The book is part of the Lecture Notes in Computer Science series, volume 4323.
Reviews
No reviews yet. Be the first to review this book!