Design, Specification and Verification of Interactive Systems '97 - Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 (Paperback, Softcover reprint of the original 1st ed. 1997)

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

General

Imprint:	Springer-Verlag
Country of origin:	Austria
Series:	Eurographics
Release date:	November 1997
First published:	1997
Editors:	Michael D. Harrison • Juan C Torres
Dimensions:	244 x 170 x 18mm (L x W x T)
Format:	Paperback
Pages:	320
Edition:	Softcover reprint of the original 1st ed. 1997
ISBN-13:	978-3-211-83055-0
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
LSN:	3-211-83055-3
Barcode:	9783211830550

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!