您的位置: 专家智库 > >

丁婧

作品数:2 被引量:2H指数:1
供职机构:中国科学院软件研究所更多>>
相关领域:自动化与计算机技术更多>>

文献类型

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

领域

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

主题

  • 2篇数据依赖
  • 1篇自动机

机构

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

作者

  • 2篇丁婧
  • 1篇柳军飞
  • 1篇董广智
  • 1篇田勇

传媒

  • 1篇计算机应用与...

年份

  • 1篇2008
  • 1篇2006
2 条 记 录,以下是 1-2
排序方式:
基于数据依赖的过程合理性分析和优化
软件过程工程包括过程建模、过程分析、过程例化、过程运作、过程度量和过程评估与改进,对过程合理性验证的研究一直是软件过程分析的一个主要研究内容。   软件过程是一个复杂的、不确定的过程,表现在控制结构和数据关系两方面,目...
丁婧
关键词:数据依赖
基于数据依赖的过程合理性分析被引量:1
2008年
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法。
丁婧董广智田勇柳军飞
关键词:数据依赖
共1页<1>
聚类工具0