Prototyping
在生成产品以前,一般需要进行原型验证,可以得到遇到的困难以及用户体验,需要增加的功能进行加入新的东西。原型验证中,平台选择、需求清晰化以及用户接口这些都是未知的,所以有较高的风险。
原型验证中UI设计可以使用纸质或者是用程序写。在原型和产品间有鸿沟,比如需求、平台等等。而且做完原型可以提早发现问题,甚至砍掉项目。
在原型设计中,明白需要验证什么,分析什么,对于原型验证需要知道原型结果,学到了什么,时间规划等等。
requirement model
帮助分析需求以及可能的困难。可以了解到缺失的东西,冲突分析、使用图或者是沟通了解。
Analytic model: 描述系统
Anglogic model:表达系统
Hoare Logic
function specification: find weakest precondition