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