Articoli correlati a "Design, Specification and Verification of Interactive...
"Design, Specification and Verification of Interactive Systems '97": Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 44,02
EUR 7,67 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per "Design, Specification and Verification of Interactive...
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 320 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB356302
Quantità: 1 disponibili
Foto dell'editore
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., 1997
ISBN 10: 3211830553
ISBN 13: 9783211830550
Antico o usato
Soft cover
Da: G3 Books, Winnipeg, MB, Canada
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: As New. Still Wrapped. Codice articolo 012769
Quantità: 2 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 336. Codice articolo 263156384
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 336. Codice articolo 183156394
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 336 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Codice articolo 4691583
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems 97
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. state of the art in this fieldAn 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 t. Codice articolo 4488961
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems ¿97 : Proceedings of the Eurographics Workshop in Granada, Spain, June 4¿6, 1997
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783211830550
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems '97
Editore:
Springer Vienna, Springer Vienna Nov 1997, 1997
ISBN 10: 3211830553
ISBN 13: 9783211830550
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch. Codice articolo 9783211830550
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783211830550_new
Quantità: Più di 20 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783211830550
Quantità: Più di 20 disponibili