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ț: 651.42 lei
- 20% Preț: 643.17 lei
- 20% Preț: 645.65 lei
- 18% Preț: 949.73 lei
- 20% Preț: 647.93 lei
- 20% Preț: 324.64 lei
- 20% Preț: 337.85 lei
- 20% Preț: 643.83 lei
- 20% Preț: 644.15 lei
- 20% Preț: 656.03 lei
- 20% Preț: 644.48 lei
- 20% Preț: 645.14 lei
- 20% Preț: 328.42 lei
- 20% Preț: 336.86 lei
- 20% Preț: 335.52 lei
- 20% Preț: 342.78 lei
- 20% Preț: 336.86 lei
- 20% Preț: 328.60 lei
- 20% Preț: 339.66 lei
- 20% Preț: 335.88 lei
- 20% Preț: 331.74 lei
- 20% Preț: 327.77 lei
- 20% Preț: 334.53 lei
- 20% Preț: 340.32 lei
- 20% Preț: 329.58 lei
- 20% Preț: 330.24 lei
- 20% Preț: 338.03 lei
- 20% Preț: 337.66 lei
- 20% Preț: 331.58 lei
- 20% Preț: 336.86 lei
- 20% Preț: 335.36 lei
- 20% Preț: 339.66 lei
- 20% Preț: 336.67 lei
- 20% Preț: 329.26 lei
- 20% Preț: 327.12 lei
- 20% Preț: 339.34 lei
Preț: 340.49 lei
Preț vechi: 425.62 lei
-20% Nou
Puncte Express: 511
Preț estimativ în valută:
65.16€ • 67.94$ • 54.15£
65.16€ • 67.94$ • 54.15£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
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.