首页> 中文会议>2003中国计算机大会 >形式化方法B和UML的结合研究

形式化方法B和UML的结合研究

页面导航

摘要
著录项
相似文献
相关主题

摘要

形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向对象的建模技术,它的半形式化的分析结果可被B方法所引用,此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法.

著录项

来源
《2003中国计算机大会》|2003年|1488-1493|共6页
会议地点北京
作者
邹盛荣; 郑国梁;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序语言、算法语言;
关键词
B方法; UML; 形式化方法; 规格说明语言; 软件开发;

相似文献

中文文献
外文文献
专利

1. UML模型的B形式化描述方法研究 [J] . 沈利 . 信息技术与信息化 . 2018,第012期
2. 基于描述逻辑ALCUQI的UML类图元模型形式化方法 [J] . 杨小钢 . 现代计算机（专业版） . 2018,第025期
3. 基于B方法的UML模型形式化转换的应用研究 [J] . 沈利 . 信息技术与信息化 . 2017,第010期
4. UML类图与形式化B方法相结合的应用研究 [J] . 沈利 . 信息技术与信息化 . 2017,第011期
5. 基于HUML的列控系统形式化建模与参数分析方法 [J] . 赵晓宇 ,程瑞军 ,程雨 . 铁道学报 . 2016,第011期
6. UML2.0顺序图的形式化建模 [C] . . 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会 . 2008
7. 基于UML的系统需求形式化分析方法 [A] . 刘心钰 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号