一）。規格化設計的大致發展歷史
軟體形式化方法最早可追溯到20世紀50年代後期對於程式語言編譯技術的研究，即j.backus提出bnf描述algol60語言的語法，出現了各 種語法分析程式自動生成器以及語法制導的編譯方法，使得編譯系統的開發從「手工藝製作方式」發展成具有牢固理論基礎的系統方法。形式化方法的研究高潮始於 20世紀60年代後期，針對當時所謂「軟體危機」,人們提出種種解決方法,歸納起來有兩類：一是採用工程方法來組織、管理軟體的開發過程；二是深入**程 序和程式開發過程的規律，建立嚴密的理論，以其用來指導軟體開發實踐。前者導致「軟體工程」的出現和發展，後者則推動了形式化方法的深入研究。經過30多 年的研究和應用，如今人們在形式化方法這一領域取得了大量、重要的成果，從早期最簡單的形式化方法——一階謂詞演算方法到現在的應用於不同領域、不同階段 的基於邏輯、狀態機、網路、程序代數、代數等眾多形式化方法。形式化方法的發展趨勢逐漸融入軟體開發過程的各個階段,從需求分析、功能描述(規約)、(體 繫結構/演算法)設計、程式設計、測試直至維護。
程式規格可能涉及到三個方面:
對程式需求的陳述
乙個程式的設計的完整表述
乙個程式能夠被驗證是否正確執行的標準狀態的描述。
2023年，hoffman提出了一種狀態抽象模組，它提供了乙個好的數學模型，並且提高了抽象規格的清晰性和易用性。狀態的抽象提高了介面的抽象程度，但是狀態的變化使得模組的介面難以定義。堆方法是基於抽象狀態方法擴充出來的另一種思路。堆方法是在物件引用和物件狀態之間建立對映，堆中可以找到由區域應用的物件的狀態，通過在程式中檢驗對狀態，可以驗證程式的正確性和完備性。但是堆方法也有缺陷，它定義的物件過多，容易造成空間**。
在大型專案的開發中，單個專案不可能由乙個人完成。多人協作共同完成任務就意味著不僅僅需要知道自己的**做了什麼，還要知道別人的**做了什麼。進行規格抽象，有助於更直觀的了解程式功能模組的輸入限制、可以實現的功能等等。規格抽象中不關心具體的演算法，降低了程式的閱讀難度，提高了程式的易讀性。從方法規格對模組進行檢查，便於保證和驗證程式的正確性。對於程式設計人員，他們可以分工合作，根據統一的規格來完成乙個程式。從區域性來看，針對乙個規格抽象的視線與針對其他規格抽象的實現無關，相互之間不會產生影響。當修改乙個規格抽象的實現時，不需要對使用該抽象的其他任何規格抽象及其實現進行調整。這樣既保證**的相異性設計又保證了程式的可維護性。而對於程式的使用者，閱讀規格，可以迅速了解程式的功能和作用，提高效率。規格化設計的大致發展歷史。
二）。按照作業，針對自己所被報告的規格bug以及雷同的規格bug
因為我在第九～十一此作業，我寫不出**，我無法提供規格的bug。
三）。分析自己規格bug的產生原因
因為我在第九～十一此作業，我寫不出**，我無法提供規格的bug。
四）。歸納自己在設計規格和撰寫規格的基本思路和體會
在設計乙個規格我從課程上機課，一般是先看懂函式的功能，而函式需求的變數是什麼。對自己來說我一般遇到困難是在看明白函式的功能。我自己的編成經驗也不太多，我也有有很多地方都不知道怎麼寫。但我通過oo課得到了新的知識，希望從oo這門課對我之後找到的工作崗位有幫助。雖然我在幾次作業經常遇到很多困難而且好多作業都寫不出來，我還需要堅持而提高自己的編成能力。這門課帶給我新的經驗因為在工作的時候我們會經常遇到這種情況。希望自己的編成能力有進步。
OO第三次部落格作業
程式中的規格化設計的發展歷史，與計算機的發展歷史 程式設計設計的發展歷史是緊密相連，密不可分的。從1940年的面向機器程式設計，到之後的面向過程程式設計，逐漸出現了我們現在使用的各個語言的原始版本。而隨著 量的不斷增加，程式功能的不斷複雜化，簡單的面向過程程式設計不再能夠滿足人們的需要，因此，出現了...
OO第三次部落格
隨著社會上各公司業務的發展，專案越來越多，越來越大，複雜性也越來越高。查詢乙個bug變得越發抓狂 新人熟悉一塊 也變得越發困難。有的時候順手寫下的一行充滿壞味道的 可能當時不會出現什麼影響，而且當事人也十分清楚自己寫的東西。但是，當日積月累之後，這種壞 越來越多，整個專案就變得混亂不堪，牽一髮而動全...
OO第三次總結部落格
因為很難尋找，所以參考了下別的同學的調研結果 規格化設計與結構化 模組化設計密不可分，伴隨著oop語言的發展，規格化設計思想逐漸形成體系，慢慢完善。20世紀60年代，程式的模組化設計思想被提出。伴隨著計算機行業的迅速發展，為了解決程式可靠性等問題，結構化 模組化的設計為程式設計師提供了使用介面。每個...