Gå direkte til innholdet
Design, Specification and Verification of Interactive Systems ’99
Spar

Design, Specification and Verification of Interactive Systems ’99

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 in understanding interaction and informing the design of artefacts.
Undertittel
Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999
Opplag
Softcover reprint of the original 1st ed. 1999
ISBN
9783211834053
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.10.1999
Antall sider
282