基于规则的用例规约验证方法 (Rule-based Verification of Use Case Specification)

Ying Zhang, Ji Wu, Chao Liu 0002, Haiyan Yang, Ning Hu. 基于规则的用例规约验证方法 (Rule-based Verification of Use Case Specification). 计算机科学, 44(4):118-123, 2018. [doi]

Abstract

Abstract is missing.