- 博客(1)
- 收藏
- 关注
原创 FVC and HCI
Duke 认为交互式系统的形式化方法已经成为一个重要的研究课题。除了形式化方法要求的一般性质,如正确性、一致性、完整性、紧致性和无二义性(correctness,consistency,completeness,cohesion and unambiguous,4C1U)外,对交互式系统的形式化方法研究需要提出了额外的几项要求: 应该考虑具体的人机交互环境;应该支持协同建模;应该支持对状态、
2012-11-01 09:00:48 993
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人