首页> 中文期刊>天水师范学院学报 >一种基于形式化B方法的软件构件模型

一种基于形式化B方法的软件构件模型

开具论文收录证明 >>

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

页面导航

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

摘要

提出了一种基于形式化B方法的软件构件模型,分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息,并结合实例给出了使用B语言来描述构件的具体功能和行为规约的具体运用.

著录项

来源
《天水师范学院学报》|2009年第2期|87-89|共3页
作者
唐宇;
展开▼
作者单位

泰州师范高等专科学校,江苏,泰州,225300;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
形式化方法; B方法; 软件构件模型;
入库时间 2022-08-18 02:25:06

相似文献

中文文献
外文文献
专利

1. 一种基于形式化规约生成软件体系结构模型的方法 [J] . 祝义 ,黄志球 ,曹子宁 . 软件学报 . 2010,第011期
2. 基于进程组构件模型的软件体系结构设计方法 [J] . 褚华 ,陈平 . 计算机科学 . 2004,第006期
3. 一种基于服务构件模型的自适应方法 [J] . 蔡俊亚 . 湖南师范大学自然科学学报 . 2011,第001期
4. 一种基于构件模型的分布式实时应用程序设计方法 [J] . 胡峰 ,林子禹 ,潘小进 . 计算机工程与科学 . 2003,第001期
5. 一种形式化的软件可演化性特征描述方法 [J] . 何云 ,王炜 ,李彤 . 计算机科学 . 2017,第007期
6. 一种面向方面软件体系结构编织的形式化描述方法 [C] . Hou Jinkui ,侯金奎 ,Yang Chunhua . 第十四届全国软件与应用学术会议 . 2015
7. 基于形式化构件模型的软件重用研究 [A] . 邓永钧 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号