2025年1月25日
星期六
|
欢迎来到鞍山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
丁婧
作品数:
2
被引量:2
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张