基本解释

• [计算机科学技术]形式语意定义

英汉例句

双语例句

• The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
  在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。

专业释义

计算机科学技术

• 形式语意定义