對于正在尋找軟件開發(fā)方法的人來說，問題不在于是否能找到答案，而是確定答案是否滿足要求。是的，我們已經(jīng)有了很多方法——每年都會出來一茬新的，但是這讓可憐的一線開發(fā)人員感到奇怪，為什么去年的招兒又不夠好了，為什么他們必須接受今年的新法子。為了尋找嚴格的概念性論據(jù)，必須看透炒作之詞，找到其中少量行之有效的真知灼見。
軟件開發(fā)人員必須認識到，任何進展都會多多少少包含一些形式化方法，沒有必要畏之如虎。所有工程都要依賴數(shù)學：我們能夠想象電氣或者機械工程師不愿意學習和運用數(shù)學工具嗎？形式化方法當然有其局限——沒人說它們能解決任何問題，但是形式化方法絕不是純理論，它們的價值早已經(jīng)被不斷證明了。無論我們是否能認識到這一點，它們都已經(jīng)在一些領(lǐng)域（現(xiàn)代編程語言中的類型檢查就是一種證明形式，而硬件設(shè)計也越來越依靠數(shù)學工具）廣泛應用了。隨著IT業(yè)向更專業(yè)的運營方式發(fā)展，有選擇的數(shù)學工具的運用將與日俱增。
我們目前軟件開發(fā)的方法，無論是商業(yè)還是公司內(nèi)部，新還是舊，需求已知還是不清，實際上都只是來自方法文獻中各種元素的組合，加上一些特定于領(lǐng)域或者業(yè)務的擴展?；镜某煞质且粋€個實踐。
如果我們將這些基本成分從大雜燴中分離出來，大家就可以建立自己所需的方法。這種方法是以模塊的方式設(shè)計的，能夠在不斷總結(jié)經(jīng)驗的基礎(chǔ)上快速演進，響應我們快速變化的行業(yè)的需求。
最終，很少有新思想能運用在大規(guī)模的項目里，因此對大系統(tǒng)開發(fā)中的質(zhì)量、生產(chǎn)力和上市時間等等都沒有產(chǎn)生什么影響。過去四十年中軟件開發(fā)方法中出現(xiàn)的所有新概念里，只有少數(shù)大的創(chuàng)新——結(jié)構(gòu)化編程、對象技術(shù)、設(shè)計模式和UML等對行業(yè)產(chǎn)生了真正的影響。
在工程和科學中，一種新技術(shù)的提出者與任何人一樣都急于推廣自己的發(fā)明，但是也會很小心地確定應用這項新技術(shù)在什么地方存在不足或者未經(jīng)證實。然而，很少有軟件方法學者會提供這樣的警示信息。太多人夸大了自己的方法與前人的差異。每一次變革（比如對象技術(shù)）中，有多少突破其實是已知概念的調(diào)整？逐漸改進當然沒有錯，科學和工程中大量進展都是如此實現(xiàn)的。但是，將每一次改進都包裝成革命，就沒意思了。
選購指南：
本公司主要為山東地區(qū)供應各品種型的開發(fā)，濟南桌面軟件開發(fā)，濟南網(wǎng)頁軟件開發(fā)，濟南APP軟件開發(fā)，濟南WinCE嵌入式軟件開發(fā)，具體包含如：家電公司管理軟件、電腦公司管理系統(tǒng)、軟件公司管理系統(tǒng)、手機店管理系統(tǒng)、森普P6綜合業(yè)務支撐平臺、政府辦公平臺、濟南財務濟南軟件開發(fā)、濟南HR濟南軟件開發(fā)，可以滿足各種大中小型各類企業(yè)的管理需要。
