基于事件约束的软件过程验证

来源 :软件学报 | 被引量 : 5次 | 上传用户：YISHUIXIAOFENG2501

【摘要】

：

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(eventconstraintbasedpr

【作者】

：

顾庆陈道蓄

【机构】

：

计算机软件新技术国家重点实验室（南京大学）

【出处】

：

软件学报

【发表日期】

：

2005年10期

【关键词】

：

软件工程软件过程软件过程改进过程模型过程验证事件约束 sottware engineering sottware process sottware

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

数据流上的预测聚集查询处理算法

实时数据流未来趋势的预测具有重要的实际应用意义.例如,在环境监测传感器网络中,通过对感知数据流进行预测聚集查询,观察者可以预测网络覆盖的区域在未来一段时间内的平均温度和湿度,以确定是否会发生异常事件.目前的研究工作多数集中在数据流上当前数据的查询,数据流上预测查询的研究工作还很少.采用多元线性回归方法,给出了数据流上的聚集值预测模型,提出了一种数据流预测聚集查询处理方法.当预测失败的次数大于预先给

期刊

数据流未来数据窗口多元线性回归预测聚集查询AlgorithmsQuery languagesRegression analysis

鲁棒性的模糊聚类神经网络

针对模糊聚类神经网络FCNN(fuzzy clustering neural network)对例外点(outliers)敏感的缺陷,通过引入Vapnik's ε-不敏感损失函数,重新构造网络的目标函数,并根据拉格朗

期刊

模糊聚类神经网络Ε-不敏感损失函数例外点鲁棒性fuzzy clustering neural network e-insensitive loss

视点相关的层次采样：一种硬件加速体光线投射算法

光线投射是一种高质量的体绘制方法．它以图像空间为序，逐根光线遍历和采样体数据．因此，传统上，它只能在CPU上实现．因而速度慢，交互性不好．提出了一个新的视点相关的层次采样VDLS（view

期刊

直接体绘制光线投射视点相关层次采样硬件加速图形处理单元direct volume rendering ray casting view depen

基于“中国梦”多样性表达的理性思考

从历史之维看，实现中华民族的独立与富强，是近代以来最伟大的民族梦想；从发展之维看，夯实“中国梦”的物质文化基础。必须坚持发展是硬道理的战略思想；从信仰之维看，实现“中国梦”

期刊

中国梦历史之维发展之维人民之维信仰之维

南欧江三级水电站二期主河床截流规划设计

南欧江三级水电站二期主河床截流已于2017年12月5日顺利实施,截流过程中龙口最大流速、最大落差及单宽功率等主要指标均适中,截流难度不大。针对龙口不同分区部位,提出的各抛

期刊

南欧江三级水电站二期主河床截流抛投料物截流备料Nanoujiang Hydropower Stationmain river bed closure

基于事件约束的软件过程验证

其他学术论文