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

作　　者：王可心 

机构地区：[1]长春建筑学院

出　　处：《中国新通信》2018年第22期66-67,共2页China New Telecommunications

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

关 键 词：用例模型 形式化方法 B方法 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]