您的位置： 专家智库 > >

黄力芹

作品数：1 被引量：2H指数：1
供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇软件复用
  • 1篇软件开发
  • 1篇复用
  • 1篇HOARE逻...

机构

  • 1篇华中理工大学

作者

  • 1篇黄力芹
  • 1篇胡和平
  • 1篇汪涛

传媒

  • 1篇华中理工大学...

年份

  • 1篇1997
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种 Hoare 逻辑软件复用部件的匹配描述被引量：2
1997年
提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．
胡和平黄力芹汪涛
关键词：软件复用HOARE逻辑软件开发
全选 清除 导出
共1页<1>
聚类工具0