跳到主要內容
:::

教育百科logo

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