形式化方法英文的名稱是formal methods。在邏輯科學中是指分析、研究思維形式結構的方法。它把各種具有不同內容的思維形式(主要是命題和推理)加以比較,找出其中各個部分相互聯結的方式,如命題中包含概念彼此間的聯結,推理中則是各個命題之間的聯結,抽取出它們共同的形式結構;再引入表達形式結構的符號語言,用符號與符號之間的聯絡表達命題或推理的形式結構。例如,把全稱肯定命題,用符號形式化為「sap」;把聯言命題、假言命題分別形式化為:「p∧q、「p→q」。又例如:乙個具體的假言聯言推理「如果這種金屬是純鋁,那麼它的物理性質必與純鋁相同;如果這種金屬是純鋁,那麼它的化學性質必與純鋁相同;但這種金屬的物理性質和化學性質與純鋁不相同;所以,它不是純鋁。」這個推理的形式結構是:「如果p,則q;如果p,則r;非q且非r;所以非p。」可進而形式化為下列公式:((p→q)∧(p→r)）∧┐q∧┐r→┐p。
經過小組成員討論以及查閱相關資料，在此進行簡單彙總：
形式化方法實際上就是以一定數學化、機械化方法為基礎來規約、構建和驗證計算機系統，用來改善和確保計算系統質量的重要方法
推薦閱讀書籍《大象–thinking in uml》
軟體工程作業 課程報告
鄧超 20215156 綜述軟體是一系列按照特定順序組織的計算機資料和指令的集合。軟體並不只是包括可以在計算機 這裡的計算機是指廣義的計算機 上執行的電腦程式，與這些電腦程式相關的文件一般也被認為是軟體的一部分。簡單的說軟體就是程式與文件的集合體。軟體工程是一門研究用工程化方法構建和維護有效 實用的...
《軟體工程》課程作業2
在拜讀完quora精選上大牛的一篇文章可供慢慢品味 我得到的一句話 理想很美好，現實很骨感 首先我們要了解什麼是需求分析軟體專案需求說明 業務需求 無論何時何地都可以暢通無阻的較流，是交流更便捷。客戶需求 交流方便 快捷 功能需求 能傳送訊息，及時的接收訊息。可以設定特別關注提示音等讓客戶及時看到訊...
作業 軟體工程課程總結部落格
軟工作業 思考 關於軟工的一些概念性理解暨第一次閱讀作業 其實呢，以前本身我這塊不存在特別多的直接疑惑，畢竟以前本人有過相當的專案實踐經驗，對有些事情還是相對了解的。既然如此，那在這裡筆者就簡單說下之前的問題在本學期中所面臨的一些真實狀況。這塊的話，我們團隊整體做的還算可以。分工相對明確，大家都有一...