formal top-level specification 中文意思是什麼
formal top-level specification
解釋
形式化高層規范- formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
- top : n （opp bottom foot）1 頂，頂部，頂端。2 頭，頭頂；尖端；樹梢，樹頂；（事物的）上層部分。3 最高位...
- level : n 1 水平儀，水準儀；水準測量。2 水平線，水平面；水平狀態；平面，平地。3 水平，水準；水位；標準；...
- specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
-
Forth, depending on a limited syntax language, a research on the method and process of the semi - formal specification of the top level function is developed. this top level specification paves the way for the system verification and the covert channel analysis
第四，藉助一種受限的句法語言，研究了對系統頂層功能進行半形式化規范的方法和過程，而頂層功能規范則為系統驗證、隱蔽通道分析等后繼工作奠定了基礎。
分享友人