淺談軟件開發(fā)過程中方法問題-資料下載頁
2025-06-07 20:15本頁面
【正文】 工程中的形式化方法就是依靠數學模型和計算來描述和驗證一個目標軟件系統(tǒng)的行為和特性，包括需求規(guī)格、設計和實現等，形式化方法最根本的特征就是建立在嚴格的數學基礎上，如果一個方法有良好的數學基礎 （這個基礎提供一系列精確定義的概念，如：一致性和完整性，以及定義規(guī)范的實現和正確性），那么它就是形式化的，典型的以形式化規(guī)約語言給出。形式化方法能很好地解決在軟件開發(fā)中經常出現的二義性問題，因為形式化方法主要是符號系統(tǒng)，這種符號系統(tǒng)具有一定的數學性質。形式化方法也有其缺點，首先是規(guī)范所使用的數學工具與模型并不能保證規(guī)范的絕對正確和安全性；其次是對于任何一種數學規(guī)范，在其基本的數學意義下，針對不同的工程背景，并不是只有一種解釋。當然，這些不是二義性問題，而是不同領域對規(guī)范的解釋和相容性問題。三、結論計算機和網絡技術的發(fā)展及其在制造業(yè)中的應用，產生許多新的制造模式，如并行工程，敏捷制造和全球制造。這些新的模式對產品進行生命周期的設計和管理提出了進一步的要求。結構化方法和面向對象方法是現今主要的軟件開發(fā)過程方法。構化方法貫徹自頂向下逐步細化的“功能分解”思想，其基于功能分解的特點，使之不足明顯。面向對象方法則是從問題域中客觀存在的事物出發(fā)來構造系統(tǒng)，用對象作為對這些事物的抽象表示，并以此作為系統(tǒng)的基本構成單位，面向對象方法和結構化方法的相比有了更大的進步。參考文獻：[1]王健,[j].計算機研究與發(fā)展,1996,33(04):263271[2]ivar jacobson. the road to the unified software development process[m].北京:機械工業(yè)出版社,2003[3]、模型化和集成策略的研究[d].廣州:華南理工大學,2002[4]fichman r. g.. objectoriented and convention analysis and design methodologies[j].ieee puter,1992,(10):2239
教學教案相關推薦
鄂ICP備17016276號-1