Sergio España,Gudrun Thorsteinsdottir,Vijanti Ramautar et al.
Sergio España et al.
Enterprise modelling (EM) refers to the systematic elicitation and documentation of organisational phenomena from several interrelated perspectives. Widely applied in information and computer sciences to engineer enterprises and information...
Ebtihal Althubiti,Blair Archibald,Michele Sevegnani
Ebtihal Althubiti
With many governments regulating the handling of user data-the General Data Protection Regulation, the California Consumer Privacy Act, and the Saudi Arabian Personal Data Protection Law-ensuring systems comply with data privacy legislation...
The MDENet education platform: zero-install directed activities for learning MDE [0.03%]
MDENet教育平台：用于学习MDE的零安装定向活动
Steffen Zschaler,Will Barnett,Artur Boronat et al.
Steffen Zschaler et al.
Setting up and configuring model-driven engineering (MDE) tools is not straightforward because the MDE tooling landscape is highly fragmented and because many MDE tools are research prototypes with limited documentation. This creates signif...
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...