Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 /

The collection of papers in this volume covers specification methods and their use in design, model-based tool support, task and dialogue models, distributed collaboration, and models for virtual reality input. Strong emphasis is laid on formal representations and modelling techniques and their use...

Full description

Bibliographic Details

Main Author:	Duke, David
Corporate Author:	SpringerLink (Online service)
Other Authors:	Puerta, Angel
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1999.
Series:	Eurographics (Series)
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book