软件用例模型形式化方法研究

作者：王可心

来源：中国新通信, 2018, 20(22): 66-67.

• 用例模型
• 形式化方法
• B方法

本文以在线考试系统的用例模型为主要研究对象,对用例模型描述系统中存在语义模糊等问题进行研究,针对这些存在的问题,提出能够解决其问题的形式化B方法。

• 单位
  长春建筑学院