基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]形式語意定義英漢例句雙語例句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)的正確性分析及語義等價(jià)分析。formal semantic definition更多例句專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)形式語意定義