基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]形式語(yǔ)意定義英漢例句雙語(yǔ)例句The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.在形式化定義基礎(chǔ)上，可進(jìn)行用例描述間關(guān)聯(lián)的正確性分析及語(yǔ)義等價(jià)分析。formal semantic definition更多例句專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)形式語(yǔ)意定義