Design, Specification and Verification of Interactive Systems '98: Proceedings of the Eurographics Workshop in Abingdon, Uk, June 3-5, 1998 Contributor(s): Markopoulos, Panos (Editor), Johnson, Peter (Editor) |
|
ISBN: 3211832122 ISBN-13: 9783211832127 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: August 1998 |
Additional Information |
BISAC Categories: - Computers | Computer Science - Computers | User Interfaces - Computers | Information Technology |
Dewey: 006 |
Series: Eurographics |
Physical Information: 0.71" H x 6.69" W x 9.61" (1.19 lbs) 326 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems. |