Alvaro Miyazawa,Sharar Ahmadi,Ana Cavalcanti et al.
Alvaro Miyazawa et al.
Simulation is a favoured technique in robotics. It is, however, costly, in terms of development time, and its usability is limited by the lack of standardisation and portability of simulators. We present RoboSim, a diagrammatic tool-indepen...
Extract, model, refine: improved modelling of program verification tools through data enrichment [0.03%]
基于数据增强的程序验证工具改进建模方法研究
Sophie Lathouwers,Yujie Liu,Vadim Zaytsev
Sophie Lathouwers
In software engineering, models are used for many different things. In this paper, we focus on program verification, where we use models to reason about the correctness of systems. There are many different types of program verification tech...
Cosmina-Cristina Raţiu,Wesley K G Assunção,Edvin Herac et al.
Cosmina-Cristina Raţiu et al.
Collaborative model-driven development is a de facto practice to create software-intensive systems in several domains (e.g., aerospace, automotive, and robotics). However, when multiple engineers work concurrently, keeping all model artifac...
What makes life for process mining analysts difficult? A reflection of challenges [0.03%]
流程挖掘分析师面临的挑战反思
Lisa Zimmermann,Francesca Zerbato,Barbara Weber
Lisa Zimmermann
Over the past few years, several software companies have emerged that offer process mining tools to assist enterprises in gaining insights into their process executions. However, the effective application of process mining technologies depe...
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis [0.03%]
结合符号执行和谱系分析的DSLTrans模型变换故障定位
Bentley James Oakes,Javier Troya,Jessie Galasso et al.
Bentley James Oakes et al.
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been proposed. Most of t...
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty [0.03%]
MoDALAS：解决不确定性下学习型自主系统保障问题的方法
Michael Austin Langford,Kenneth H Chan,Jonathon Emil Fleck et al.
Michael Austin Langford et al.
Increasingly, safety-critical systems include artificial intelligence and machine learning components (i.e., learning-enabled components (LECs)). However, when behavior is learned in a training environment that fails to fully capture real-w...
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software [0.03%]
一种改进的企业运营建模中参与者积极性的方法及软件支持
Marne De Vries,Petra Opperman
Marne De Vries
The COVID-19 pandemic emphasized the need for process automation, using agile software development practices. However, when agile methods are used in scaled contexts, many software development efforts fail, mainly due to lacking requirement...
Antonio Bucchiarone,Maxime Savary-Leblanc,Xavier Le Pallec et al.
Antonio Bucchiarone et al.
Modeling is an essential and challenging activity in any engineering environment. It implies some hard-to-train skills such as abstraction and communication. Teachers, project leaders, and tool vendors have a hard time teaching or training ...
Benoit Combemale,Jeff Gray,Bernhard Rumpe
Benoit Combemale
Luciano Marchezan,Roland Kretschmer,Wesley K G Assunção et al.
Luciano Marchezan et al.
There are many repair alternatives for resolving model inconsistencies, each involving one or more model changes. Enumerating them all could overwhelm the developer because the number of possible repairs can grow exponentially. To address t...