您的位置： 专家智库 > >

胡旷

作品数：2 被引量：1H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：电子信息产业发展基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇软件过程模型
  • 1篇语义
  • 1篇语义规则
  • 1篇数据语义
  • 1篇可扩展
  • 1篇可扩展标记语...
  • 1篇扩展标记语言
  • 1篇标记语言

机构

  • 2篇中国科学院软...

作者

  • 2篇胡旷
  • 1篇柳军飞
  • 1篇董广智
  • 1篇田勇

传媒

  • 1篇计算机工程与...

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种弹性的软件过程模型验证工具被引量：1
2007年
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
胡旷董广智田勇柳军飞
关键词：语义规则可扩展标记语言
以活动为中心的软件过程模型的验证工具研究
软件过程技术通过建模、运作、监控、度量过程模型，对实际的软件过程提供指导和控制，从而保证软件开发的质量、提高软件开发的效率。对软件过程的研究已经成为软件工程领域的研究重点之一。　　 当前，随着软件开发活动的日益复杂，对...
胡旷
全选 清除 导出
共1页<1>
聚类工具0