:::
資料庫查詢時間:711.9611 ms
共 13 筆資料,
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式:
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
自動程式驗證系統
瀏覽人次:0
收藏人次:0
指自動進行證明電腦程式與有關程式形式說明規定間一致性的系統。通常程式製作後由程式設計師對程式進行靜態檢查,但要很仔細始能有效。對於大型系統因檢查量龐大,人工難以勝任;故交由電腦對原始碼進行分析和檢查。該系統由若干程式工具構成,每一工具負責一種檢查功能。主要工具有編碼分析、程式結構檢查、模組介面檢查、事件系列檢查等。
|
式
瀏覽人次:0
收藏人次:0
法則、模範。如:「法式」、「模式」。
效法。如:「義風可式」、「母儀足式」。
事物外形的樣子。如:「形式」、「式樣」、「款式」。
儀節、典禮。如:「儀式」、「閱兵式」、「開幕式」。
數學、化學等自然科學的運算規則。如:「公式」、「程式」、「化學式」、「二元一次方程式」。
|
程
瀏覽人次:0
收藏人次:0
道路的一段。如:「里程」、「路程」、「送你一程」。
事情進行的經過或順序。如:「過程」、「歷程」、「議程」、「日程」、「課程」、「程序」。
衡量、估計。如:「計日程功」。
階段、地步。如:「程度」。
法式、規範。如:「章程」、「規程」、「程式」。
|
自
瀏覽人次:0
收藏人次:0
本身。如:「自己」、「自身」、「自我」、「自個兒」、「各人自掃門前雪,莫管他人瓦上霜。」
從、由。如:「自此」、「自從」、「自古至今」、「自小到大」。
當然。如:「自然」、「自不待言」、「自屬有效」。
主動的。如:「自覺」、「自願」、「自動」、「自發」。
起源的地方。如:「其來有自」。
|
動
瀏覽人次:0
收藏人次:0
事物改變原來的位置或脫離靜止狀態。如:「運動」、「動靜得宜」、「風吹草動」、「牽一髮動全身」。
有所行為。如:「動手」、「動員」、「動腦筋」、「動心思」。
行為。如:「行動」、「動作」、「一舉一動」。
心有所感。如:「感動」、「動心」、「動人」、「動怒」。
開始做。如:「動工」、「動筆」、「動土」、「動身前往」。
動輒:每每、往往、屢次。如:「動輒得咎」。
用在動詞之後,表示能力或效果。如:「提不動」、「你已經說動他了嗎?」
|
統
瀏覽人次:0
收藏人次:0
世代相傳的體系。如:「傳統」、「系統」、「道統」、「血統」。
總括。如:「統計」、「統算」、「統括」。
集結合一。如:「統一」、「統合」。
率領、統領。如:「統率」、「統治」。
器物圓而中空的部分。通「筒」。如:「短統襪」、「長統靴」。
|
曾經查過此詞彙的人也經常查詢以下字詞:
|
貓頭鷹博士