版权声明：本文为博主原创文章，未经博主允许不得转载，否则将通知维权骑士维护自己的权益。 https://blog.csdn.net/c602273091/article/details/83045033
Prototyping
在生成产品以前，一般需要进行原型验证，可以得到遇到的困难以及用户体验，需要增加的功能进行加入新的东西。原型验证中，平台选择、需求清晰化以及用户接口这些都是未知的，所以有较高的风险。
原型验证中UI设计可以使用纸质或者是用程序写。在原型和产品间有鸿沟，比如需求、平台等等。而且做完原型可以提早发现问题，甚至砍掉项目。
在原型设计中，明白需要验证什么，分析什么，对于原型验证需要知道原型结果，学到了什么，时间规划等等。
requirement model
帮助分析需求以及可能的困难。可以了解到缺失的东西，冲突分析、使用图或者是沟通了解。
Analytic model： 描述系统
Anglogic model：表达系统
Hoare Logic
function specification： find weakest precondition