FVC and HCI
来源：互联网 发布：淘宝手机网址 编辑：程序博客网 时间：2024/06/05 00:16
Duke 认为交互式系统的形式化方法已经成为一个重要的研究课题。除了形式化方法要求的一般性质，如正确性、一致性、完整性、紧致性和无二义性（correctness,consistency,completeness,cohesion and unambiguous,4C1U）外，对交互式系统的形式化方法研究需要提出了额外的几项要求：
- 应该考虑具体的人机交互环境；
- 应该支持协同建模；应该支持对状态、事件或行为的推理；
- 能够适应于多领域的通用模型的形式化刻画；
- 对用户界面设计者有切实的帮助；
- 能将理论用一套工具封装起来；
- 能用图的形式直观描述。
这既是对交互式系统的形式化方法研究的总结，也在一定程度上为交互式系统的形式化研究指明了方向[22]
- FVC and HCI
- Pattern recognization and HCI
- HCI Issues-Register and Login
- HCI History（Edited and Transferred）
- HCI Evaluation-Key Topics, Research Methods and Technologies Roads
- HCI Beyond the GUI: Design for Haptic, Speech, Olfactory, and Other Nontraditional Interfaces
- 遥感影像计算植被覆盖度FVC
- HCI References
- HCI Syllabus
- HCI Career
- HCI Org.
- HCI FAQ
- HCI-Note
- HCI Models
- HCI Theories
- HCI History
- HCI Evaluation
- HCI video
- 苹果GameCenter和iCloud开发专题
- 在windows server2003 iis6部署mvc3
- Maven常用命令
- ggplot2
- RTP协议学习大总结从原理到代码
- FVC and HCI
- post和get有什么区别
- Notepad++ 更改和定制主题
- 使用PreferenceActivity和PreferenceScreen构建应用的设置
- Google优秀论文列表——关于国内科研的一点比较思考
- MySQLi和MySQL的区别
- Andrid 重要URL博客索引
- 如何制定人生目标体系
- 大幅优化 eclipse+myeclipse 速度
