形式化方法英文的名稱是formal methods。在邏輯科學中是指分析、研究思維形式結構的方法。它把各種具有不同內容的思維形式(主要是命題和推理)加以比較,找出其中各個部分相互聯結的方式,如命題中包含概念彼此間的聯結,推理中則是各個命題之間的聯結,抽取出它們共同的形式結構;再引入表達形式結構的符號語言,用符號與符號之間的聯系表達命題或推理的形式結構。例如,把全稱肯定命題,用符號形式化為“SAP”;把聯言命題、假言命題分別形式化為:“p∧q、“p→q”。又例如:一個具體的假言聯言推理“如果這種金屬是純鋁,那么它的物理性質必與純鋁相同;如果這種金屬是純鋁,那么它的化學性質必與純鋁相同;但這種金屬的物理性質和化學性質與純鋁不相同;所以,它不是純鋁。”這個推理的形式結構是:“如果p,則q;如果p,則r;非q且非r;所以非p。”可進而形式化為下列公式:((p→q)∧(p→r)）∧┐q∧┐r→┐p。

《大象：Thinking in UML》以UML為載體，將面向對象的分析設計思想巧妙地融入建模過程中，通過貫穿全書的實例將軟件系統開發過程中方方面面的知識有機地結合在一起，用生動的語言和精彩的事例將復雜枯燥的軟件過程講解得津津有味。
　　全書分為四個部分。第一部分講述面向對象分析的一些基本概念，及學習建模需要了解的一些基本知識。第二部分對UML的基礎概念重新組織和歸納整理，進行擴展和討論，引申出針對UML的這些概念在面向對象方法中應用方法的思考。第三部分以一個實例貫穿全篇，闡述如何使用UML從頭到尾地實施一個項目。第四部分針對在現實中經常遇到并且較難掌握的問題進行深入的探討，升華在前幾篇學習到的知識。

總結

以上是生活随笔為你收集整理的形式化方法、《大象：Thinking in UML》的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。