基本解釋

• [計算機科學技術]形式語意定義

英漢例句

雙語例句

• The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
  在形式化定義基礎上，可進行用例描述間關聯(lián)的正確性分析及語義等價分析。

• formal semantic definition更多例句

專業(yè)釋義

計算機科學技術

• 形式語意定義