全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    基于Z语言的软件工程形式化研究  CNKI文献

    软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述。

    朱俊武 张辉 《武汉船舶职业技术学院学报》 2003年04期 期刊

    关键词: 软件工程 / 形式化方法 / Z语言.

    下载(340)| 被引(4)

    面向复用的企业业务活动相似性研究  CNKI文献

    企业模型差异性较大,但是其底层业务活动存在较大的相似性。业务活动模型的研究和复用为企业快速建模提供了一个捷径。该文利用相似学原理,给出了业务活动相似性计算的数学模型,来检测业务活动之间的冗余性和可复用性...

    姜艺 潘燕华... 《计算机工程与应用》 2004年34期 期刊

    关键词: 群体决策 / 语言量化 / 模糊相似度量

    下载(53)| 被引(3)

    面向范例推理的软构件模型研究  CNKI文献

    软件构件模型的建立对于软件再工程的构件复用起着非常重要的作用。本文提出几种面向范例推理的软构件建模方法,这将更有利于软件再工程的构件复用。

    朱俊武 《计算机与现代化》 2003年10期 期刊

    关键词: 软件再工程 / 范例推理 / 软件构件 / 复用

    下载(52)| 被引(1)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      轻松读懂《孙子兵法》