全  文

不  限

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

不  限

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

全  文

不  限

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

不  限

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

    模型驱动架构中模型构造与集成策略  CNKI文献

    模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成...

    刘静 何积丰... 《软件学报》 2006年06期 期刊

    关键词: 模型驱动架构(MDA) / UTP / 模型 / 构件

    下载(927)| 被引(81)

    基于图的Web服务组合优化的研究  CNKI文献

    单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此...

    曹利培 刘静... 《计算机科学》 2007年02期 期刊

    关键词: Web服务 / OWL-S / WSDG / 带权依赖图

    下载(522)| 被引(38)

    Nondeterministic Probabilistic Petri Net—A New Method...  CNKI文献

    There are many variants of Petri net at present,and some of them can be used to model system with both function and performance specification,such as stochastic Petri net,generalized stochastic Petri...

    刘阳 缪淮扣... 《Journal of Computer Science & Technology》 2013年01期 期刊

    关键词: nondeterminism / probabilistic / Petri / net

    下载(92)| 被引(8)

    通过模式进行CIM到PIM的模型转换(英文)  CNKI文献

    Model driven architecture(MDA) is an evolutionary step in software development.Model transformation forms a key part of MDA.The transformation from computation independent model(CIM) to platform inde...

    曹晓夏 缪淮扣... 《Journal of Shanghai University(English Edition)》 2008年06期 期刊

    关键词: model / driven / architecture(MDA) / computation

    下载(61)| 被引(4)

    在原型验证系统中构建度量区间时序逻辑公式的时间自动机(英...  CNKI文献

    Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula written in the real-time temporal logic MIT...

    许庆国 缪淮扣 《Journal of Shanghai University(English Edition)》 2008年04期 期刊

    关键词: real-time / system / metric / interval

    下载(71)| 被引(1)

    分布式环境下基于多UIO的测试序列生成方法(英文)  CNKI文献

    In developing distributed systems, conformance testing is required to determine whether an implementation un-der test (IUT) conforms to its specification. With distributed test architectures involvin...

    刘文宇 曾红卫... 《Journal of Shanghai University(English Edition)》 2008年05期 期刊

    关键词: distributed / test / controllability / observability

    下载(40)| 被引(2)

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

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状