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

《大象：Thinking in UML》以UML為載體，將面向?qū)ο蟮姆治鲈O(shè)計思想巧妙地融入建模過程中，通過貫穿全書的實例將軟件系統(tǒng)開發(fā)過程中方方面面的知識有機地結(jié)合在一起，用生動的語言和精彩的事例將復(fù)雜枯燥的軟件過程講解得津津有味。
　　全書分為四個部分。第一部分講述面向?qū)ο蠓治龅囊恍┗靖拍?#xff0c;及學習建模需要了解的一些基本知識。第二部分對UML的基礎(chǔ)概念重新組織和歸納整理，進行擴展和討論，引申出針對UML的這些概念在面向?qū)ο蠓椒ㄖ袘?yīng)用方法的思考。第三部分以一個實例貫穿全篇，闡述如何使用UML從頭到尾地實施一個項目。第四部分針對在現(xiàn)實中經(jīng)常遇到并且較難掌握的問題進行深入的探討，升華在前幾篇學習到的知識。

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。