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