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