[軟件工程] 形式化說明技術

形式化說明技術 1、概述 （一） 非形式化方法的缺點 （二） 形式化方法的優勢 （三） 應用形式化方法的準則 1.應該選用適當的表示方法 2. 應該形式化，但不要過度形式化 3. 應該估算成本 4.應該有形式化方法顧問隨時提供諮詢 5.不該該放棄傳統的開發方法 6. 應該創建詳盡的文檔 2、有窮狀態機 （一） 概念 3、 Petri網 （一） 概念 1、概述 按照形式化的程度，能夠把軟件工程使用的

>>阅读原文<<