节点文献

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 边小凡； 朱建林； 王倩；

【机构】 河北大学数学与计算机学院； 华北电力大学就业指导服务中心 河北保定071002； 河北保定071002； 河北保定071003；

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

【关键词】 构件模型； 构件库； 形式化方法； 形式化描述；
  • 【文献出处】 电子技术应用 ,Application of Electronic Technique , 编辑部邮箱 ,2006年04期
  • 【分类号】TP311.52
  • 【被引频次】6
  • 【下载频次】139
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)