logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
S

Software and Systems Modeling

IF3.2
论文数61
被引数1861
期刊论文 61
发表时间
delete
Guest editorial for the special section on PoEM 2023PoEM 2023特刊客座编辑寄语
deleteSoftware and Systems Modeling
IF3.2
delete2026-06-01
delete0
PREAI
deleteAlmeida, Joao Paulo A.; Kaczmarek-Hess, Monika; Proper, Henderik A.
delete分享
delete收藏
How UML models and ontologies can complement each other如何使UML模型与本体互补
deleteSoftware and Systems Modeling
IF3.2
delete2026-06-01
delete0
deleteOAAI
deleteChechik, Marsha; Combemale, Benoit; Gray, Jeff; Rumpe, Bernhard
delete分享
delete收藏
Guest editorial for EMMSAD'2024 special sectionEMMSAD'2024专题部分的客座编辑序言
deleteSoftware and Systems Modeling
IF3.2
delete2026-05-01
delete0
PREAI
deleteBork, Dominik; Sturm, Arnon
delete分享
delete收藏
Failure behavior modeling via atomic modeling concepts基于原子建模概念的失效行为建模
deleteSoftware and Systems Modeling
IF3.2
delete2026-05-01
delete0
deleteOAAI
deleteKaalen, Stefan; Nyberg, Mattias; Westerberg, Adrian
delete分享
delete收藏
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition基于多级危险定义的道路交叉口交通场景自动化与逻辑穷举生成
deleteSoftware and Systems Modeling
IF3.2
delete2026-05-01
delete0
PREAI
deleteBabikian, Aren A.; Ficsor, Attila; Semerath, Oszkar; Mussbacher, Gunter; Varro, Daniel
delete分享
delete收藏
Formalizing smart contract design patterns with DCR graphs利用DCR图形式化智能合约设计模式
deleteSoftware and Systems Modeling
IF3.2
delete2026-05-01
delete1
PREAI
deleteEshghie, Mojtaba; Ahrendt, Wolfgang; Artho, Cyrille; Hildebrandt, Thomas Troels; Schneider, Gerardo
delete分享
delete收藏
Dependency-aware model repair: prioritizing repairs through consistency rule and inconsistency analysis依赖感知模型修复：通过一致性规则和不一致性分析优先化修复
deleteSoftware and Systems Modeling
IF3.2
delete2026-04-01
delete0
PREAI
deleteMarchezan, Luciano; Assuncao, Wesley K. G.; Herac, Edvin; Shafiq, Saad; Knebel, Cristian; Egyed, Alexander
delete分享
delete收藏
Function-driven cyber-physical security in smart manufacturing功能驱动的智能制造网络物理安全
deleteSoftware and Systems Modeling
IF3.2
delete2026-04-01
delete0
PREAI
deleteAntipenko, Vjatseslav; Matulevicius, Raimundas
delete分享
delete收藏
Have model transformation languages failed?模型转换语言是否失败？
deleteSoftware and Systems Modeling
IF3.2
delete2026-03-01
delete0
PREAI
deleteDe Lara, Juan; Guerra, Esther; Cuadrado, Jesus Sanchez
delete分享
delete收藏
Enterprise modeling for the circular economy: meta-model and method component to support manufacturing enterprises面向循环经济的企业建模：支持制造企业的元模型和方法组件
deleteSoftware and Systems Modeling
IF3.2
delete2026-03-01
delete0
PREAI
deleteSandkuhl, Kurt; Seigerroth, Ulf; Lennartsson, Dan; Raudberget, Dag
delete分享
delete收藏
Report on the state and changes of the SoSyM journal (2025 summary)《关于SoSyM期刊现状与变化的报告（2025年摘要）》
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
deleteOAAI
deleteChallita, Stephanie; Chechik, Marsha; Combemale, Benoit; Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
delete分享
delete收藏
MM-AR: a web-based open-source metamodeling platform for spatial conceptual modelingMM-AR：一个基于网络的开放式空间概念建模平台
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
PREAI
deleteMuff, Fabian; Borcard, Daniel; Fill, Hans-Georg
delete分享
delete收藏
Agentic AI in the next frontier of model-based software engineering: the arrival of AI-hyper-agile software engineering methods?基于模型的软件工程的前沿：AI超敏捷软件工程方法的到来？
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
deleteOAAI
deleteChechik, Marsha; Combemale, Benoit; Gray, Jeff; Rumpe, Bernhard
delete分享
delete收藏
Edelta: a versatile framework for migrating clients' EMF modelsEdelta：一种用于迁移客户端EMF模型的多功能框架
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
PREAI
deleteBettini, Lorenzo; Di salle, Amleto; Iovino, Ludovico
delete分享
delete收藏
Declarative Lifecycle Management for Self-Adaptive Systems声明式生命周期管理用于自适应用户系统
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
deleteOAAI
deleteKamburjan, Eduard; Bencomo, Nelly; Johnsen, Einar Broch; Tarifa, Silvia Lizeth Tapia
delete分享
delete收藏
Deductively verifying functional scalable parallel programs with Why3通过Why3演绎验证功能可扩展并行程序
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
PREAI
deleteLoulergue, Frederic; Proust, Olivia
delete分享
delete收藏
A formalization of Heisenbugs and their causes in terms of hyperproperties基于超属性的Heisenbugs及其成因的形式化研究
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
deleteOAAI
deleteSallinger, Sarah; Weissenbacher, Georg; Zuleger, Florian
delete分享
delete收藏
The cognitive science of modeling tools建模工具的认知科学
deleteSoftware and Systems Modeling
IF3.2
delete2026-02-01
delete0
PREAI
deletePierantonio, Alfonso; Gozzano, Simone; Mazza, Monica
delete分享
delete收藏
MDE for crop representations in smart farming digital twins: a reinforcement learning perspective作物表示在智能农业数字孪生中的MDDE：一种强化学习视角
deleteSoftware and Systems Modeling
IF3.2
delete2026-01-01
delete0
PREAI
deleteArchambault, Pascal; Sahraoui, Houari; Syriani, Eugene
delete分享
delete收藏
RATEN: an efficient robustness analysis and test enhancement framework for state machinesRATEN：一种用于状态机的高效鲁棒性分析与测试增强框架
deleteSoftware and Systems Modeling
IF3.2
delete2026-01-01
delete0
PREAI
deleteBabaei, Majid; Gueheneuc, Yann-Gael
delete分享
delete收藏