首页> 中文期刊> 《计算机工程与应用》 >基于UML和Z的软件体系结构求精方法及其应用

基于UML和Z的软件体系结构求精方法及其应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制.最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程.

著录项

来源
《计算机工程与应用》 |2006年第5期|59-62|共4页
作者
祝义; 张广泉;
展开▼
作者单位

徐州师范大学计算机科学与技术学院;

江苏;

徐州;

221116;

苏州大学计算机科学与技术学院;

江苏;

苏州;

215006;

苏州大学计算机科学与技术学院;

江苏;

苏州;

215006;

重庆师范大学计算机科学学院;

重庆;

400047;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
UML; Z; 软件体系结构; 求精; 形式化方法;

相似文献

中文文献
外文文献
专利

1. 基于UML的实用软件体系结构描述方法的应用研究 [J] . 陈景霞 ,李萌 . 陕西科技大学学报（自然科学版） . 2012,第004期
2. 一种基于代数语义的软件体系结构求精方法 [J] . 林雷蕾 ,周华 ,代飞 . 计算机科学 . 2017,第007期
3. 基于上下文相关的软件体系结构求精方法 [J] . 申利民 ,马川 ,王建龙 . 计算机工程与设计 . 2009,第007期
4. 基于求精的软件体系结构设计方法 [J] . 赵恒 ,叶俊民 ,王振宇 . 计算机工程 . 2007,第016期
5. 探讨基于UML的软件体系结构开发方法 [J] . 石琳 . 电脑编程技巧与维护 . 2013,第008期
6. 基于UML的集成软件体系结构语言的方法探讨 [C] . 杨治 ,胡金柱 . 2004年全国理论计算机科学学术年会 . 2004
7. 基于UML和Z的软件体系结构求精方法及其应用 [A] . 祝义 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号