《軟件工程導論第6版》--張海藩 牟永敏 課後答案及其詳解 第4章 形式化說明技術

文章目錄 第1題 第2題 第3題 第4題 第5題 第6題 第1題 1.舉例對比形式化方法和欠形式化方法的優缺點。 形式化說明： 優點：(1)簡潔準確的描述物理現象，對象獲動作的結果。 (2)可以在不同軟件工程活動之間平滑的過度。 (3)它提供了高層確認的手段。 缺點：大多形式化的規格說明主要關注系統的功能數據，而時序的問題，控制和行爲等方面的需求卻更難於表示。 非形式化說明： 優點：難度低 缺點：

>>阅读原文<<