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.79 lei
- 20% Preț: 618.85 lei
- 20% Preț: 621.22 lei
- 18% Preț: 913.73 lei
- 20% Preț: 623.43 lei
- 20% Preț: 312.43 lei
- 20% Preț: 325.13 lei
- 20% Preț: 619.48 lei
- 20% Preț: 619.78 lei
- 20% Preț: 631.23 lei
- 20% Preț: 620.11 lei
- 20% Preț: 620.74 lei
- 20% Preț: 316.07 lei
- 20% Preț: 324.19 lei
- 20% Preț: 322.91 lei
- 20% Preț: 329.89 lei
- 20% Preț: 324.19 lei
- 20% Preț: 316.25 lei
- 20% Preț: 326.89 lei
- 20% Preț: 323.24 lei
- 20% Preț: 319.26 lei
- 20% Preț: 315.44 lei
- 20% Preț: 321.95 lei
- 20% Preț: 327.52 lei
- 20% Preț: 317.19 lei
- 20% Preț: 317.82 lei
- 20% Preț: 325.31 lei
- 20% Preț: 324.95 lei
- 20% Preț: 319.13 lei
- 20% Preț: 324.19 lei
- 20% Preț: 322.75 lei
- 20% Preț: 326.89 lei
- 20% Preț: 324.01 lei
- 20% Preț: 316.88 lei
- 20% Preț: 314.81 lei
- 20% Preț: 326.57 lei
Preț: 327.69 lei
Preț vechi: 409.62 lei
-20% Nou
Puncte Express: 492
Preț estimativ în valută:
62.72€ • 66.16$ • 52.26£
62.72€ • 66.16$ • 52.26£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
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.