網站首頁考試題庫熱門試題智能家居網課試題

大學試題

題庫首頁每日一練章節(jié)練習

計算機科學與導論：思想與方法問答題每日一練(2019.09.15)

來源：考試資料網

1.問答題什么是形式驗證？形式驗證有哪兩種主要技術？

參考答案：形式驗證就是基于已建立的形式規(guī)格，對所規(guī)格系統(tǒng)的相關特性進行分析和驗證，以評判系統(tǒng)是否滿足期望的特性。
形式驗...

點擊查看完整答案

2.問答題為什么說，團隊機制的建立所遵循的基本原則是一個非常重要的的問題。

參考答案：“機制”是建立在基本原則基礎上的，欲從這些準則的實施中有所獲益就必須恪守基本原則。比如如果想減肥，就必須堅持“少吃、吃得...

點擊查看完整答案

3.問答題數(shù)學有哪些基本特征？

參考答案：數(shù)學具有以下3個基本特征：
1.高度的抽象性。數(shù)學的抽象程度大大超過自然科學中一般的抽象，它最大的特點在于拋開...

點擊查看完整答案

4.問答題軟件系統(tǒng)構建的關鍵是什么？

參考答案：形式規(guī)格是系統(tǒng)構建的關鍵。它包括客戶需求的定義、程序實施、結果測試和程序文檔等內容。形式規(guī)格有助于系統(tǒng)參與方各自的意見達...

點擊查看完整答案

5.問答題結合克拉默給出的用于分析程序復雜性的幾個例子，分析結構與復雜性的關系。

參考答案：當系統(tǒng)的結構不能被描述，或描述它的最小算法與系統(tǒng)本身具有相同的信息比特數(shù)時，則稱該系統(tǒng)為根本復雜系統(tǒng)。在達到根本復雜之前...

點擊查看完整答案