1. 程式人生 > >軟體工程思考(四)

軟體工程思考(四)

Prototyping
在生成產品以前,一般需要進行原型驗證,可以得到遇到的困難以及使用者體驗,需要增加的功能進行加入新的東西。原型驗證中,平臺選擇、需求清晰化以及使用者介面這些都是未知的,所以有較高的風險。

原型驗證中UI設計可以使用紙質或者是用程式寫。在原型和產品間有鴻溝,比如需求、平臺等等。而且做完原型可以提早發現問題,甚至砍掉專案。

在原型設計中,明白需要驗證什麼,分析什麼,對於原型驗證需要知道原型結果,學到了什麼,時間規劃等等。

requirement model
幫助分析需求以及可能的困難。可以瞭解到缺失的東西,衝突分析、使用圖或者是溝通了解。

Analytic model: 描述系統

Anglogic model:表達系統

Hoare Logic
function specification: find weakest precondition