問答題

【簡答題】為什么說，形式化方法是提高軟件系統(tǒng)，特別是安全至上的軟件系統(tǒng)的安全性與可靠性的重要手段。

答案： 形式化方法的意義在于它能幫助發(fā)現(xiàn)其他方法不容易發(fā)現(xiàn)的系統(tǒng)描述的不一致或不完整性，從而有助于增強(qiáng)軟件開發(fā)人員對系統(tǒng)的理解。...
題目列表

你可能感興趣的試題

問答題

【簡答題】簡介計算機(jī)科學(xué)家與數(shù)學(xué)家的共同點和不同點。
答案： 計算機(jī)科學(xué)家與數(shù)學(xué)家的共同點，主要體現(xiàn)在抽象的運(yùn)用以及對公式的理解。不同點在于，數(shù)學(xué)家側(cè)重于強(qiáng)烈的幾何推理和關(guān)于無限問題...
問答題

【簡答題】什么是形式驗證？形式驗證有哪兩種主要技術(shù)？
答案： 形式驗證就是基于已建立的形式規(guī)格，對所規(guī)格系統(tǒng)的相關(guān)特性進(jìn)行分析和驗證，以評判系統(tǒng)是否滿足期望的特性。
形式驗...
微信掃碼免費(fèi)搜題