首页> 中文期刊> 《电子技术应用》 >形式化方法对构件库管理系统支持的探讨

形式化方法对构件库管理系统支持的探讨

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持.

著录项

来源
《电子技术应用》 |2006年第4期|18-21|共4页
作者
边小凡; 朱建林; 王倩;
展开▼
作者单位

河北大学,数学与计算机学院,河北,保定,071002;

河北大学,数学与计算机学院,河北,保定,071002;

华北电力大学,就业指导服务中心,河北,保定,071003;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
构件模型; 构件库; 形式化方法; 形式化描述;

相似文献

中文文献
外文文献
专利

1. 支持互操作的构件库管理系统 [J] . 范菁 ,白杰 ,熊丽荣 . 计算机系统应用 . 2008,第008期
2. 图书管理系统之形式化及建模方法研究 [J] . 黄小英 . 制造业自动化 . 2010,第011期
3. 支持抽象解释的静态分析方法的形式化体系研究 [J] . 张弛 ,黄志球 ,丁泽文 . 计算机科学 . 2017,第012期
4. 支持模型驱动开发的软构件形式化描述方法 [J] . 侯金奎 ,王成端 . 计算机应用 . 2015,第009期
5. 一种支持实时软件时间建模的形式化方法 [J] . 祝义 ,黄志球 ,张广泉 . 解放军理工大学学报（自然科学版） . 2010,第003期
6. 模型管理系统问题形式化支持研究 [C] . 卢涛 ,李一军 ,黄梯云 . 第十四届全国管理信息系统学术年会 . 1999
7. 基于形式化描述的构件库应用研究 [A] . 陈文 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号