期刊文章详细信息
基于B的UML形式化需求分析
Requirement Analysis Formalized Using UML Based on B
文献类型：期刊文章
机构地区：[1]郑州轻工业学院计算机与通信工程学院,河南郑州450002 [2]曲靖师范学院信息与计算机科学系,云南曲靖655000
基 金：河南省新世纪优秀人才支持项目(2005HANCET-03);河南省优秀中青年骨干教师支持项目
年 份：2007
卷 号：17
期 号：8
起止页码：133-135
语 种：中文
收录情况：JST、RCCSE、ZGKJHX、普通刊
摘 要：为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。
关 键 词：形式化方法 B方法 统一建模语言
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
