您的位置: 专家智库 > >

奚兵

作品数:1 被引量:31H指数:1
供职机构:清华大学信息科学技术学院自动化系更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:机械工程更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇机械工程

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇虚拟企业
  • 1篇企业

机构

  • 1篇清华大学

作者

  • 1篇黄必清
  • 1篇刘永和
  • 1篇刘文煌
  • 1篇奚兵

传媒

  • 1篇清华大学学报...

年份

  • 1篇2000
1 条 记 录,以下是 1-1
排序方式:
虚拟企业集成模型的形式化方法被引量:31
2000年
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。
刘永和黄必清刘文煌奚兵
关键词:虚拟企业
共1页<1>
聚类工具0