亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

Automating Rule‐Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment

系统建模语言 计算机科学 软件工程 模型检查 程序设计语言 数据挖掘 统一建模语言 软件
作者
Michael Vinarcik,Sukhwan Jung,Alejandro Salado
出处
期刊:INCOSE International Symposium [Wiley]
卷期号:34 (1): 1539-1559
标识
DOI:10.1002/iis2.13224
摘要

Abstract Among other benefits, the adoption of Model‐Based Systems Engineering (MBSE) or Digital Engineering (DE) is expected to decrease the number of escaped errors in a project by enabling early error detection within the modeling environment. This contributes to reducing the costs associated with corrective activities, which are generally greater in later phases of development. This paper provides an empirical insight into error detection through a study of models developed by students in a graduate MBSE course, where they leveraged the use of automated rule checking within the modeling tool. The dataset covers 10 editions of the course, spanning 2016‐2023, and contains 601 models. The study shows that the term project models resulted in nearly zero latent errors when non‐stylistic rules are concerned, with most of the latent errors categorized as stylistic rather than fundamental violations.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
子爵木完成签到 ,获得积分10
1秒前
柳Iris完成签到,获得积分20
5秒前
在水一方应助兴奋元冬采纳,获得10
10秒前
11秒前
羲和完成签到 ,获得积分10
14秒前
Hahaha完成签到,获得积分10
18秒前
Qvby3完成签到 ,获得积分10
22秒前
可爱以冬完成签到 ,获得积分10
24秒前
英姑应助oscar采纳,获得10
25秒前
科目三应助whoknowsname采纳,获得10
26秒前
泠风来完成签到,获得积分10
35秒前
123321完成签到 ,获得积分10
37秒前
烟花应助inRe采纳,获得30
44秒前
bkagyin应助miuwu采纳,获得10
48秒前
Betty完成签到 ,获得积分10
48秒前
49秒前
Carrots完成签到 ,获得积分10
53秒前
55秒前
七七关注了科研通微信公众号
58秒前
简单的思菱完成签到 ,获得积分10
1分钟前
Ade阿德完成签到 ,获得积分10
1分钟前
http完成签到,获得积分20
1分钟前
惠民发布了新的文献求助20
1分钟前
1分钟前
研友_VZG7GZ应助http采纳,获得10
1分钟前
完美世界应助catherlink采纳,获得10
1分钟前
1分钟前
1分钟前
干冷安完成签到,获得积分10
1分钟前
lancekenway发布了新的文献求助10
1分钟前
1分钟前
1分钟前
鹤桉完成签到,获得积分20
1分钟前
lancekenway完成签到,获得积分10
1分钟前
1分钟前
han完成签到 ,获得积分10
1分钟前
hanlixuan完成签到 ,获得积分10
1分钟前
传奇3应助鹤桉采纳,获得10
1分钟前
科研通AI2S应助科研通管家采纳,获得10
1分钟前
酷波er应助科研通管家采纳,获得10
1分钟前
高分求助中
The late Devonian Standard Conodont Zonation 2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030 2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China 1500
Very-high-order BVD Schemes Using β-variable THINC Method 890
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 800
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3256828
求助须知:如何正确求助?哪些是违规求助? 2898945
关于积分的说明 8303123
捐赠科研通 2568188
什么是DOI,文献DOI怎么找? 1394905
科研通“疑难数据库(出版商)”最低求助积分说明 652924
邀请新用户注册赠送积分活动 630631