Titolo: Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997
Editore: Springer-Verlag New York Inc, Seacaucs, New Jersey, U.S.A.
Data di pubblicazione: 1997
Lingua: Inglese
ISBN 10: 3211830553
ISBN 13: 9783211830550
Rilegatura: Soft cover
Condizione: As New

Descrizione articolo

Riassunto

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.

Contenuti

Do interactive systems need specifications?.- PAC-ing the architecture of your user interface.- DMVIS: Design, modelling and validation of interactive systems.- Users as rational interacting agents: Formalising assumptions about cognition and interaction.- Establishing a link between usability and utility: Validation of task-based dialogue using a semantic prototype.- Evaluating narrative in multimedia.- Interactors and Haggis: Executable specifications for interactive systems.- Formally verifying interactive systems: A review.- Investigating the behaviour of PREMO synchronizable objects.- Formal transducers: Models of devices and building bricks for the design of highly interactive systems.- From text to Petri nets: The difficulties of describing accident scenarios formally.- Unifying toolkit programming layers: A multi-purpose toolkit integration module.- Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels.- Formal aspects of task based design.- Reusable structures in task models.- The interaction specification workspace: Specifying and designing the interaction issues of virtual reality training environments from within.- The notion of trajectory in graphical user interfaces.- A representational approach to the specification of presentations.- On biasing behaviour to the optimal.- Modelling in Action. Reports from the DSVIS’97 working groups.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

G3 Books, is a Sole Proprietorship located in Winnipeg (about the centre of Canada) strives to provide high quality books, and sincere customer service, at a low price. Our online address is www.g3books.com. GST #81166 2477 RT0001. For further information, Please contact the owner, Gordon Gilbey (P.O. Box 1333 Station Main, Winnipeg, Manitoba R3C 2Z1). (204) 229-0732.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

G3 Books
MB, Canada

Condizioni di vendita e spedizione

Condizioni di vendita

We accept Money Orders and Cashier Checks (made out to G3 Books) and Visa, MasterCard, and American Express. Although we do not accept personal cheques we do accept company cheques. Educational Institutes, Libraries and Government - We will ship book(s) with a purchase order from a bonifide organization. GST #81166 2477 RT0001. For further information, Please contact the owner, Gordon Gilbey (P.O. Box 1333 Station Main, Winnipeg, Manitoba R3C 2Z1). (204) 229-0732.

Diritto di recesso

Condizioni di spedizione

Books will be shipped on the same or next business day. Orders to U.S.A. are shipped weekly from Pembina N.D. (and then will not be delayed by Canada Post, Canada Customs or U.S. Customs).

Tariffe di spedizione da Canada a U.S.A.

Tariffe di spedizione da Canada a U.S.A.
Quantit� dell?ordine	Da 7 a 10 giorni lavorativi	Da 4 a 7 giorni lavorativi
Primo articolo	EUR 25.74	EUR 42.87

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.