document.getElementById('index-articles-list').innerHTML = `

What makes life for process mining analysts difficult? A reflection of challenges

流程挖掘分析师面临的挑战反思

Lisa Zimmermann,Francesca Zerbato,Barbara Weber

Software and systems modeling. 2024;23(6):1345-1373. DOI:10.1007/s10270-023-01134-0

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis

结合符号执行和谱系分析的DSLTrans模型变换故障定位

Bentley James Oakes,Javier Troya,Jessie Galasso et al.

Software and systems modeling. 2024;23(3):737-763. DOI:10.1007/s10270-023-01123-3

MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty

MoDALAS：解决不确定性下学习型自主系统保障问题的方法

Michael Austin Langford,Kenneth H Chan,Jonathon Emil Fleck et al.

Software and systems modeling. 2023 Mar 18:1-21. DOI:10.1007/s10270-023-01090-9

Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software

一种改进的企业运营建模中参与者积极性的方法及软件支持

Marne De Vries,Petra Opperman

Software and systems modeling. 2023 Mar 1:1-28. DOI:10.1007/s10270-023-01083-8

Gamifying model-based engineering: the PapyGame experience

基于模型的工程游戏化：PapyGame体验

Antonio Bucchiarone,Maxime Savary-Leblanc,Xavier Le Pallec et al.

Software and systems modeling. 2023 Mar 4:1-21. DOI:10.1007/s10270-023-01091-8

`; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/1619-1374.html`; document.getElementById('index-articles-more').innerHTML='更多内容'; document.getElementById('index-articles-more').style="float:right;background:var(--primary-color);color:#fff;font-size:13px;border-radius:5px;padding:0px 10px;margin-right:5px;line-height:1.7"; document.getElementsByClassName('index-artcles')[0].style.display = 'block'; document.getElementById('showJournalIndexUrl').style.display = 'block'; document.querySelector('#showJournalIndexUrl a').href = `https://i.iikx.com/journal/1619-1374.html`;