2023年全國碩士研究生考試考研英語一試題真題(含答案詳解+作文范文)_第1頁
已閱讀1頁,還剩60頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、從上世紀五十年代軟件誕生開始,軟件設計一直是軟件系統(tǒng)開發(fā)的核心內容,好的軟件設計有助于軟件開發(fā)人員提高工作效率,減少不必要的開支以及保證軟件的正確性。但采用何種方法來保證軟件設計是“好的”
   一直是軟件開發(fā)人員關注的問題。從最初靠個人智慧來設計和編寫軟件,到各種軟件設計方法“百家爭鳴”,再到眾所周知的統(tǒng)一建模語言,研究者們一直試圖找到一種理想的設計方法一這種設計方法易于被使用者理解和接受,便于使用和交流,規(guī)范且能保證設計的正

2、確性,這種語言至今并未出現(xiàn),目前的設計語言只能滿足上述部分方面。到了上世紀末,出現(xiàn)了兩種風格迥異的設計方法,一種方法提倡簡單靈活,既不使用復雜的數(shù)學理論作為基礎,也不使用嚴謹?shù)脑O計方式保證正確性,這種方法就是已經(jīng)被大多數(shù)設計人員和團隊接受的統(tǒng)一建模語言;另一種方法認為在軟件設計階段用精確和嚴謹?shù)淖C明保證系統(tǒng)的正確性是必不可少的,提倡采用規(guī)范可證明方式來設計軟件。但由于需要使用者具有較好的數(shù)學基礎,普及成本較高,加上技術并不成熟以及沒有好

3、的工具支持,使得這種方法目前仍處于試驗階段,并未普及,如VDM方法、B方法、Z方法等。
   本文提出了一種使用CHAM化學抽象機形式化語言對狀態(tài)圖進行形式化的方法,之所以選擇化學抽象機形式化語言,因為這種語言最初用于并行計算的描述,具有嚴謹?shù)臄?shù)學基礎和完整的語義,之后,用于系統(tǒng)行為的描述,具有一定的動態(tài)描述能力,有可能實現(xiàn)狀態(tài)圖的形式化,本文采用一種新的狀態(tài)圖的劃分方法,將狀態(tài)圖分為簡單狀態(tài)圖,分層狀態(tài)圖和并發(fā)狀態(tài)圖三種,并分

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論