- 搜標(biāo)題
- 搜題干
- 搜選項
問答題
【簡答題】形式規(guī)格描述的是什么？
答案：
規(guī)格就是對系統(tǒng)或者對象及其期望的特性或者行為進(jìn)行的描述。規(guī)格所要描述的內(nèi)容包括：功能特性、行為特性、結(jié)構(gòu)特性、時間特性。...
你可能感興趣的試題
問答題
【簡答題】軟件系統(tǒng)構(gòu)建的關(guān)鍵是什么？
答案：
形式規(guī)格是系統(tǒng)構(gòu)建的關(guān)鍵。它包括客戶需求的定義、程序?qū)嵤?、結(jié)果測試和程序文檔等內(nèi)容。形式規(guī)格有助于系統(tǒng)參與方各自的意見達(dá)...
問答題
【簡答題】什么是形式化方法？
答案：
形式化方法是基于嚴(yán)密的、數(shù)學(xué)上的形式機(jī)制的開發(fā)方法。它包括形式規(guī)格，以及支持規(guī)格語言的語法檢查和規(guī)格屬性證明的方法和工具...
