Interactive Systems. Design, Specification, and Verification
Editat de Philippe Palanque, Fabio Paternóen Limba Engleză Paperback – 30 ian 2001
Preț: 320.50 lei
Preț vechi: 400.63 lei
-20%
Puncte Express: 481
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540416630
ISBN-10: 3540416633
Pagini: 268
Ilustrații: X, 258 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540416633
Pagini: 268
Ilustrații: X, 258 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Designing Interactive Distributed Systems.- Specifying Temporal Behaviour in Software Architectures for Groupware Systems.- Questioning the Foundations of Utility for Quality of Service in Interface Development.- Designing User Interfaces.- A Framework for the Combination and Characterization of Output Modalities.- Specifying Multiple Time Granularities in Interactive Systems.- Verifying the Behaviour of Virtual Environment World Objects.- Tools for User Interfaces.- SUIT — Context Sensitive Evaluation of User Interface Development Tools.- Structuring Interactive Systems Specifications for Executability and Prototypability.- A Toolkit of Mechanism and Context Independent Widgets.- Formal Methods for Human-Computer Interaction.- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.- More Precise Descriptions of Temporal Relations within Task Models.- Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?.- Model-Based Design of Interactive Systems.- Wisdom — A UML Based Architecture for Interactive Systems.- User Interface Declarative Models and Development Environments: A Survey.- The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.