在线考试系统考生考试过程的形式化描述

作者：王可心

来源：数码世界, 2018, (09): 223.

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

为加深对用例模型形式化描述方法的理解,本文将以在线考试系统中学生在线考试过程为例,说明在一个应用中如何利用B方法对用例模型进行形式化描述。

• 单位
  长春建筑学院