模態邏輯是經典命題邏輯和一階謂詞邏輯的拓展形式。
一階線性時態邏輯（foltl）是一階謂詞邏輯的擴充套件。
計算樹邏輯（ctl）是一種離散、分支時間、命題時態邏輯。
z語言為系統建立基於狀態的模型。模型的三個主要組成部分是輸入，輸出和狀態。
z語言表示抽象的要素總體上可分為兩類：基於集合理論的集合、關係、函式、序列和包，以及z獨有的模式。
z語言中，自由型別用於遞迴定義新型別。
自由型別：：=常量1|...|常量n|函式1《輸入物件1》|...|函式m《輸入物件m》
petri網分為位置/遷移petri網和高階petri網兩類。
任何系統都可抽象為兩類元素：狀態和事件。
軟體工程概論通讀第五章
第五章 軟體工程中的形式化方法 形式化方法是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模型的分析活動。軟體的設計過程就是乙個建立形式規約的過程。實際上就是把現實世界的需求對映成軟體的模型化過程即在現實世界 模型表示和計算機系統之間進行描述和轉化的過程。開發過程中的...
軟體工程 第五章 程式設計須知
1.程式語言共同特性 1 語言特性 心裡特性 工程特性 技術特性 語言的心裡特性對人機通訊的質量有主要的影響 語言工程特性對軟體開發成功與否重要影響 語言技術特性也會影響軟體的設計質量。2.選擇程式語言考慮因素?1 應用領域 軟體應用環境 軟體開發方法 演算法 資料結構 3.4gl特點 有好的使用者...
軟體工程概論總結
經過半年的時間，大二上學期也馬上就要結束了，軟體工程概論課程也結課了，這八周給我的印象很深刻。我也有很多的目標沒有完成，這應該就是老師所說的危機感差。自己的自律性還很差，不能好好的管理自己。以後要好好的控制自己，不能再這麼放縱。既然稱之為工程，就不僅僅是 的編寫，還設計到一些具體的注意事項，如 規範...