判斷題程序的靜態(tài)驗證是利用數(shù)學方法證明程序的正確性。
您可能感興趣的試卷
最新試題
下列哪一項是信息有別于其他資源的重要特性?()
題型:單項選擇題
以下不是面向?qū)ο箝_發(fā)方法的相關(guān)概念的是()
題型:單項選擇題
結(jié)構(gòu)式語言的語句包括()
題型:多項選擇題
下述對U/C矩陣描述錯誤的是()
題型:單項選擇題
以下哪些是對象/類具有的屬性?()
題型:多項選擇題
計算機硬件中最重要的部件是()
題型:單項選擇題
數(shù)據(jù)庫設(shè)計中,具有唯一性特征的是()
題型:單項選擇題
系統(tǒng)模塊結(jié)構(gòu)圖反映的是()
題型:單項選擇題
以下哪種開發(fā)方法具有輔助作用?()
題型:單項選擇題
信息系統(tǒng)開發(fā)五個階段中起點是信息系統(tǒng)()
題型:單項選擇題