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
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
丰富又槐发布了新的文献求助10
1秒前
而风不止完成签到,获得积分10
1秒前
风声3492881045应助yaoqiangshi采纳,获得10
1秒前
Ava应助bobo采纳,获得10
1秒前
cxw完成签到,获得积分10
1秒前
2秒前
为去关注了科研通微信公众号
2秒前
4秒前
爱笑碧玉发布了新的文献求助10
4秒前
歪歪关注了科研通微信公众号
5秒前
栀璃鸳挽完成签到,获得积分10
5秒前
5秒前
喂鱼发布了新的文献求助10
5秒前
充电宝应助而风不止采纳,获得10
6秒前
6秒前
嘿嘿完成签到,获得积分10
6秒前
7秒前
8秒前
卧推120完成签到,获得积分10
8秒前
8秒前
吴境完成签到,获得积分10
8秒前
yaping完成签到,获得积分10
8秒前
小不点发布了新的文献求助10
8秒前
星辰大海应助吃货采纳,获得10
8秒前
9秒前
9秒前
9秒前
TT完成签到,获得积分10
9秒前
10秒前
11秒前
Sally完成签到,获得积分20
11秒前
hunajx完成签到,获得积分10
11秒前
在水一方应助miao采纳,获得10
11秒前
不怕考试的赵无敌完成签到,获得积分10
11秒前
12秒前
12秒前
12秒前
成就的曼梅完成签到,获得积分20
12秒前
故沁发布了新的文献求助10
12秒前
13秒前
高分求助中
Overcoming Stigma and Bias in Obesity Management 800
Malcolm Fraser : a biography 700
Signals, Systems, and Signal Processing 610
Materials selection in mechanical design 500
Bounds for Statistical Estimation in Semiparametric Models 500
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
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6477843
求助须知:如何正确求助?哪些是违规求助? 8279558
关于积分的说明 17657947
捐赠科研通 5560067
什么是DOI,文献DOI怎么找? 2910942
邀请新用户注册赠送积分活动 1887930
关于科研通互助平台的介绍 1741499