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
Preț estimativ în valută:
56.67€ • 64.99$ • 48.98£
56.67€ • 64.99$ • 48.98£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
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.
Caracteristici
Includes supplementary material: sn.pub/extras