1.程式語言共同特性
(1) 語言特性（心裡特性、工程特性、技術特性）
語言的心裡特性對人機通訊的質量有主要的影響；語言工程特性對軟體開發成功與否重要影響；語言技術特性也會影響軟體的設計質量。
2.選擇程式語言考慮因素?
(1)應用領域、軟體應用環境、軟體開發方法、演算法、資料結構
3.4gl特點
有好的使用者介面
相容過程性和非過程性
高效的程式**
完備的資料庫
應用程式生成器
4. 什麼是程式設計風格？良好的程式風格注意哪些？
程式設計師特點、習慣、邏輯思路
程式文件、資料說明、語句構造、輸入輸出、效率
軟體工程概論通讀第五章
第五章 軟體工程中的形式化方法 形式化方法是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模型的分析活動。軟體的設計過程就是乙個建立形式規約的過程。實際上就是把現實世界的需求對映成軟體的模型化過程即在現實世界 模型表示和計算機系統之間進行描述和轉化的過程。開發過程中的...
《軟體工程概論》第五章總結
模態邏輯是經典命題邏輯和一階謂詞邏輯的拓展形式。一階線性時態邏輯 foltl 是一階謂詞邏輯的擴充套件。計算樹邏輯 ctl 是一種離散 分支時間 命題時態邏輯。z語言為系統建立基於狀態的模型。模型的三個主要組成部分是輸入，輸出和狀態。z語言表示抽象的要素總體上可分為兩類 基於集合理論的集合 關係 函...
工程導論第五章
從無到有的創造事物是工程學的核心。前面幾章闡述到工程學是把一些特定的目的和需求變成現實的學科。也就意味著這個學科充滿創造性。這份創造性也是現代企業的核心競爭力所在。而創造乙個產品，並不只是簡單的構想加上一般的製作。需要乙個團隊乙個集體，在接到乙個產品構思後通過乙個流程使產品生產成功並更具競爭力。創造...