Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996: Eurographics
Editat de Francois Bodart, Jean Vanderdonckten Limba Engleză Paperback – 7 oct 1996
Din seria Eurographics
- 20%
Preț: 626.25 lei - 20%
Preț: 618.33 lei - 20%
Preț: 620.69 lei - 18%
Preț: 912.85 lei - 20%
Preț: 622.90 lei - 20%
Preț: 312.30 lei - 20%
Preț: 324.99 lei - 20%
Preț: 618.96 lei - 20%
Preț: 619.26 lei - 20%
Preț: 630.68 lei - 20%
Preț: 619.58 lei - 20%
Preț: 620.20 lei - 20%
Preț: 315.93 lei - 20%
Preț: 324.03 lei - 20%
Preț: 322.74 lei - 20%
Preț: 329.74 lei - 20%
Preț: 324.03 lei - 20%
Preț: 316.11 lei - 20%
Preț: 326.72 lei - 20%
Preț: 323.10 lei - 20%
Preț: 319.13 lei - 20%
Preț: 315.31 lei - 20%
Preț: 321.81 lei - 20%
Preț: 327.36 lei - 20%
Preț: 317.05 lei - 20%
Preț: 317.68 lei - 20%
Preț: 325.15 lei - 20%
Preț: 324.81 lei - 20%
Preț: 318.97 lei - 20%
Preț: 324.03 lei - 20%
Preț: 322.61 lei - 20%
Preț: 326.72 lei - 20%
Preț: 323.86 lei - 20%
Preț: 316.73 lei - 20%
Preț: 314.67 lei - 20%
Preț: 326.42 lei
Preț: 327.54 lei
Preț vechi: 409.42 lei
-20% Nou
Puncte Express: 491
Preț estimativ în valută:
57.95€ • 68.13$ • 50.76£
57.95€ • 68.13$ • 50.76£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783211829004
ISBN-10: 3211829008
Pagini: 404
Ilustrații: XI, 383 p. 17 illus.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER VIENNA
Colecția Springer
Seria Eurographics
Locul publicării:Vienna, Austria
ISBN-10: 3211829008
Pagini: 404
Ilustrații: XI, 383 p. 17 illus.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER VIENNA
Colecția Springer
Seria Eurographics
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factors in Aeronautics.- Abstract Interpretation and Application to Interactive System Verification.- Moving Towards Implementation.- Device Models.- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.- Prototyping Device Interfaces with DSN/2.- Evaluating Formal Languages.- Toward More Understandable User Interface Specifications.- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.- The Evaluation of User Interface Notations.- Analysing Errors.- Supporting Error-Driven Design.- Risk Analysis, Impact and Interaction Modelling.- Design Assistance for User-Adapted Interaction.- Design, Specification and Verification.- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.- Fusion Engines and Melting Pots.- Monolingual, Articulated Modeling of Users, Devices, and Interfaces.- Evaluating the Interfaces of Three Theorem Proving Assistants.- Validating Properties of Component-based Graphical User Interfaces.- Specifying and Reasoning About CSCW.- Reports from Working Groups.- The Namur Principles: Criteria for the Evaluation of User Interface Notations.- The Role of Formalisms.