formal structural model [計(jì)算機(jī)科學(xué)技術(shù)]形式結(jié)構(gòu)模型formal semantics formal semantic language [計(jì)算機(jī)科學(xué)技術(shù)]形式語意語言formal semantic description [計(jì)算機(jī)科學(xué)技術(shù)]形式語意描述formal semantic definition [計(jì)算機(jī)科學(xué)技術(shù)]形式語意定義formal science 形式科學(xué)formal school education [歷史學(xué)]正規(guī)的學(xué)校教育formal schema 形式圖式formal schedulability verification [計(jì)算機(jī)科學(xué)技術(shù)]形式化可調(diào)度性驗(yàn)證formal road system [農(nóng)業(yè)科學(xué)]規(guī)整式道路系統(tǒng)formal protest [金融] 正式拒付證書 正式抗議formal program verification [計(jì)算機(jī)科學(xué)技術(shù)]形式程序驗(yàn)證formal party 正式聚會(huì)，正式的歡迎會(huì)formal parameter mode [計(jì)算機(jī)科學(xué)技術(shù)]形式參數(shù)模式formal parameter call [計(jì)算機(jī)科學(xué)技術(shù)]形式參數(shù)調(diào)用形式參數(shù)呼叫formal parameter [數(shù)] 形式參數(shù)formal organization 正規(guī)的組織formal of business organization [管理學(xué)]企業(yè)形態(tài) 企業(yè)形態(tài)formal occasion 正式的場(chǎng)合formal notice 正式通知