Items related to Interactive Systems. Design, Specification, and Verification...
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings: 5136 (Lecture Notes in Computer Science, 5136) - Softcover
Synopsis
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. 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. DSV-IS 2008 was held at Queen’s University in Kingston, Canada, during July 16–18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen’s University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.
The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Interactive Systems. Design, Specification, and Verification...
Stock Image
Interactive Systems: Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.05. Seller Inventory # G3540705686I4N10
Quantity: 1 available
Stock Image
INTERACTIVE SYSTEMS
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Seller Inventory # CBS 9783540705680
Quantity: 1 available
Stock Image
INTERACTIVE SYSTEMS
Seller: URW Books Store, CASPER, WY, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. Seller Inventory # CBSBOOKS17203
Quantity: 1 available
Stock Image
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Published by
Springer Berlin Heidelberg, 2008
ISBN 10: 3540705686
ISBN 13: 9783540705680
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4503317/12
Quantity: 1 available
Stock Image
INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION, AND VERIFICATION : 15TH INTERNATIONAL WORKSHOP, DSV-IS 2008 KINGSTON, CANADA, JULY 16-18, 2008, PROCEEDINGS
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-269261
Quantity: 1 available
Stock Image
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5136)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540705680_new
Quantity: Over 20 available
Stock Image
Interactive Systems: Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540705680
Quantity: 10 available
Seller Image
Interactive Systems. Design, Specification, and Verification
Published by
Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540705686
ISBN 13: 9783540705680
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. 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. DSV-IS 2008 was held at Queen's University in Kingston, Canada, during July 16-18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen's University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification. 328 pp. Englisch. Seller Inventory # 9783540705680
Quantity: 2 available
Seller Image
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Published by
Springer Berlin Heidelberg, 2008
ISBN 10: 3540705686
ISBN 13: 9783540705680
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. 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. DSV-IS 2008 was held at Queen's University in Kingston, Canada, during July 16-18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen's University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification. Seller Inventory # 9783540705680
Quantity: 1 available
Stock Image
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5136)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540705680
Quantity: Over 20 available