基于规则的用例规约验证方法
张莹,吴际,刘超,杨海燕,胡宁
Rule-based Verification of Use Case Specification
ZHANG Ying, WU Ji, LIU Chao, YANG Hai-yan and HU Ning
计算机科学 . 2017, (4): 118 -123 .  DOI: 10.11896/j.issn.1002-137X.2017.04.026