已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Harvard Business Review

计算机科学 自动化 完备性(序理论) 集合(抽象数据类型) 过程(计算) 软件工程 任务(项目管理) 故障树分析 软件进化 工厂(面向对象编程) 树(集合论) 软件 软件系统 系统工程 工程类 程序设计语言 可靠性工程 软件建设 数学分析 机械工程 数学
作者
J. Scott Armstrong,David M. Georgoff
出处
期刊:International Journal of Forecasting [Elsevier BV]
卷期号:4 (1): 164-165 被引量:18441
标识
DOI:10.1016/0169-2070(88)90019-2
摘要

During the whole life-cycle of software-intensive systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models like fault trees. However, performing these co-evolution steps is a cumbersome and often manual task. To understand this problem in detail, we have analyzed the evolution and mined common changes of architecture and fault tree models for a set of evolution scenarios of a part of a factory automation system called Pick and Place Unit. On the other hand, we designed a set of intra- and inter-model transformation rules which fully cover the evolution scenarios of the case study and which offer the potential to semi-automate the co-evolution process. In particular, we validated these rules with respect to completeness and evaluated them by a comparison to typical visual editor operations. Our results show a significant reduction of the amount of required user interactions in order to realize the co-evolution.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
chen完成签到,获得积分10
刚刚
xxxx发布了新的文献求助10
1秒前
lmm完成签到,获得积分10
2秒前
小二郎完成签到 ,获得积分10
5秒前
6秒前
苏韵完成签到,获得积分10
10秒前
12秒前
梦明完成签到 ,获得积分10
12秒前
Orange应助chen采纳,获得10
15秒前
欢呼的世立完成签到 ,获得积分10
16秒前
123完成签到,获得积分10
18秒前
科研南完成签到 ,获得积分10
19秒前
无与伦比完成签到 ,获得积分0
20秒前
20秒前
happy发布了新的文献求助10
23秒前
菲菲完成签到 ,获得积分10
24秒前
俏皮若之发布了新的文献求助10
24秒前
活泼的若血完成签到 ,获得积分10
25秒前
29秒前
zyw完成签到,获得积分10
30秒前
chris完成签到 ,获得积分10
35秒前
归尘发布了新的文献求助10
35秒前
嘻嘻完成签到,获得积分10
36秒前
qtr完成签到 ,获得积分10
36秒前
甜甜纸飞机完成签到 ,获得积分10
37秒前
38秒前
淡定的宛白完成签到,获得积分20
41秒前
觅柔完成签到,获得积分10
42秒前
43秒前
清秀小霸王完成签到 ,获得积分10
45秒前
归尘发布了新的文献求助10
45秒前
俏皮若之完成签到,获得积分20
46秒前
Owen应助奋斗鸡翅采纳,获得10
47秒前
等待的剑身完成签到,获得积分10
47秒前
甜甜的紫菜完成签到 ,获得积分10
47秒前
6昂完成签到 ,获得积分10
47秒前
余莉莎发布了新的文献求助10
48秒前
49秒前
SciGPT应助科研通管家采纳,获得10
51秒前
51秒前
高分求助中
Malcolm Fraser : a biography 680
Signals, Systems, and Signal Processing 610
天津市智库成果选编 600
Climate change and sports: Statistics report on climate change and sports 500
Forced degradation and stability indicating LC method for Letrozole: A stress testing guide 500
Organic Reactions Volume 118 400
A Foreign Missionary on the Long March: The Unpublished Memoirs of Arnolis Hayman of the China Inland Mission 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6456654
求助须知:如何正确求助?哪些是违规求助? 8266896
关于积分的说明 17619973
捐赠科研通 5523594
什么是DOI,文献DOI怎么找? 2905213
邀请新用户注册赠送积分活动 1881890
关于科研通互助平台的介绍 1725541