Interactive Systems. Design, Specification, and Verification - 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceeding

Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques.