第五章：軟體工程中的形式化方法
形式化方法是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模型的分析活動。軟體的設計過程就是乙個建立形式規約的過程。實際上就是把現實世界的需求對映成軟體的模型化過程即在現實世界、模型表示和計算機系統之間進行描述和轉化的過程。開發過程中的任務包括：模型獲取、模型驗證、模型變化。包括時態邏輯、一階線性時態邏輯（佇列及其操作、漢諾塔操作規劃問題）、計算樹邏輯等模型及模型檢驗。
z語言為系統建立基於狀態的模型。模型的三個主要組成部分是輸入、輸出和狀態。資料抽象和過程抽象是軟體規格說明過程中的兩類重要抽象。z語言表示：集合、關係及函式（冪集、元組合笛卡爾積、關係與函式、佇列和包）、自由型別和模式。
petri網具有順序、併發、衝突、混惑等結構描述能力。任何系統都可抽象為狀態和事件兩類元素。變遷是petri網種的主動元素。
《軟體工程概論》第五章總結
模態邏輯是經典命題邏輯和一階謂詞邏輯的拓展形式。一階線性時態邏輯 foltl 是一階謂詞邏輯的擴充套件。計算樹邏輯 ctl 是一種離散 分支時間 命題時態邏輯。z語言為系統建立基於狀態的模型。模型的三個主要組成部分是輸入，輸出和狀態。z語言表示抽象的要素總體上可分為兩類 基於集合理論的集合 關係 函...
軟體工程 第五章 程式設計須知
1.程式語言共同特性 1 語言特性 心裡特性 工程特性 技術特性 語言的心裡特性對人機通訊的質量有主要的影響 語言工程特性對軟體開發成功與否重要影響 語言技術特性也會影響軟體的設計質量。2.選擇程式語言考慮因素?1 應用領域 軟體應用環境 軟體開發方法 演算法 資料結構 3.4gl特點 有好的使用者...
軟體工程概論通讀第八章
第八章 面對物件設計 面對物件設計是乙個建模活動，在分析模型的基礎上完成在實現環境的類建模 狀態圖建模 協作建模 元件建模 部署建模 持久建模和使用者介面原型，實現從需求分析到軟體實現之間的跨越。設計活動劃分成系統設計和詳細設計兩個主要階段。系統設計階段包括定義體系結構策略 識別設計元素 定義資料儲...