Interactive Systems: Design, Specification, and Verification
分類: 图书,计算机/网络,计算机理论,
作者: Chris Johnson等 著
出 版 社: 湖南文艺出版社
出版时间: 2003-6-1字数:版次: 1页数: 217印刷时间: 2003-6-1开本:印次:纸张: 胶版纸I S B N : 3540428070包装: 平装编辑推荐
内容简介
"This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives."
作者简介
目录
Mobile Interface Design
AN XMl-Based Runtime User Interface Description Language for Mobile
Computing Devices
Model-Based User Interface Design Using Markup Concepts
Abstract User Interfaces:A Model and Notation to Support
Plasticity in Interactive Systems
Task Modelling for Context-Sensitive User Interfaces
Supervision and Control Systems
Industrial User InterFace Evaluation Based on Coloured Petri Nets
Modelling and Analysis
A TOol Suite for Integrating Task and System Models
Through Scenarios
Temporal and Stochastic Issues
Temporal Patterns for Complex Interaction Design
Modelling Dynamic Group Behaviours
Reasoning about Interactive Systems with Stochastic Models
New Perspectives
Towards Uniformed Task Models in a Model-Based Approach
Heuristic Evaluation of Website Attractiveness and Usability
Affordance and Symmetry
Author Index
媒体评论