最弱前提条件相关硕士博士期刊学术论文

提出一种形式化用例分析建模框架，引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模．通过定义这些......