- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡(jiǎn)答題】軟件系統(tǒng)構(gòu)建的關(guān)鍵是什么？
答案：
形式規(guī)格是系統(tǒng)構(gòu)建的關(guān)鍵。它包括客戶需求的定義、程序?qū)嵤?、結(jié)果測(cè)試和程序文檔等內(nèi)容。形式規(guī)格有助于系統(tǒng)參與方各自的意見達(dá)...
你可能感興趣的試題
問答題
【簡(jiǎn)答題】什么是形式化方法？
答案：
形式化方法是基于嚴(yán)密的、數(shù)學(xué)上的形式機(jī)制的開發(fā)方法。它包括形式規(guī)格，以及支持規(guī)格語言的語法檢查和規(guī)格屬性證明的方法和工具...
問答題
【簡(jiǎn)答題】簡(jiǎn)述古代學(xué)者惟一的一次公理化方法嘗試。
答案：
“蓋天學(xué)說”是我國古代學(xué)者惟一的公理化方法嘗試。該學(xué)說構(gòu)建了一個(gè)幾何宇宙模型。該學(xué)說中的公理有兩個(gè)：一個(gè)是“天地為平行平...
