发布求助
文献互助 智能选刊 最新文献

Software and Systems Modeling最新文献

筛选
英文 中文
How do I find reusable models? 如何找到可重用的模型?
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-04-06 DOI: 10.1007/s10270-023-01103-7
Maxim Bragilovski, Roni Stern, A. Sturm
{"title":"How do I find reusable models?","authors":"Maxim Bragilovski, Roni Stern, A. Sturm","doi":"10.1007/s10270-023-01103-7","DOIUrl":"https://doi.org/10.1007/s10270-023-01103-7","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"81 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85500632","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MORGAN: a modeling recommender system based on graph kernel MORGAN:基于图核的建模推荐系统
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-04-04 DOI: 10.1007/s10270-023-01102-8
Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, P. Nguyen
{"title":"MORGAN: a modeling recommender system based on graph kernel","authors":"Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, P. Nguyen","doi":"10.1007/s10270-023-01102-8","DOIUrl":"https://doi.org/10.1007/s10270-023-01102-8","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"37 1","pages":"1427 - 1449"},"PeriodicalIF":2.0,"publicationDate":"2023-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73095526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Detecting cross-case associations in an event log: toward a pattern-based detection 在事件日志中检测跨案例关联:实现基于模式的检测
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-04-01 DOI: 10.1007/s10270-023-01100-w
Y. Dubinsky, P. Soffer, I. Hadar
{"title":"Detecting cross-case associations in an event log: toward a pattern-based detection","authors":"Y. Dubinsky, P. Soffer, I. Hadar","doi":"10.1007/s10270-023-01100-w","DOIUrl":"https://doi.org/10.1007/s10270-023-01100-w","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"72 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91294771","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Synthesizing verified components for cyber assured systems engineering 为网络安全系统工程综合验证组件
3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-21 DOI: 10.1007/s10270-023-01096-3
Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin
{"title":"Synthesizing verified components for cyber assured systems engineering","authors":"Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin","doi":"10.1007/s10270-023-01096-3","DOIUrl":"https://doi.org/10.1007/s10270-023-01096-3","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135000574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. MoDALAS：解决在不确定性面前为学习型自主系统提供保障的问题。
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-18 DOI: 10.1007/s10270-023-01090-9
Michael Austin Langford, Kenneth H Chan, Jonathon Emil Fleck, Philip K McKinley, Betty H C Cheng
{"title":"MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty.","authors":"Michael Austin Langford,&nbsp;Kenneth H Chan,&nbsp;Jonathon Emil Fleck,&nbsp;Philip K McKinley,&nbsp;Betty H C Cheng","doi":"10.1007/s10270-023-01090-9","DOIUrl":"10.1007/s10270-023-01090-9","url":null,"abstract":"<p><p>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-world phenomena, the response of an LEC to untrained phenomena is uncertain and therefore cannot be assured as safe. Automated methods are needed for self-assessment and adaptation to decide when learned behavior can be trusted. This work introduces a model-driven approach to manage self-adaptation of a learning-enabled system (LES) to account for run-time contexts for which the learned behavior of LECs cannot be trusted. The resulting framework enables an LES to monitor and evaluate goal models at run time to determine whether or not LECs can be expected to meet functional objectives and enables system adaptation accordingly. Using this framework enables stakeholders to have more confidence that LECs are used only in contexts comparable to those validated at design time.</p>","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":" ","pages":"1-21"},"PeriodicalIF":2.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10024308/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9720390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Supporting data-aware processes with MERODE 使用MERODE支持数据感知进程
3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01095-4
Monique Snoeck, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt
{"title":"Supporting data-aware processes with MERODE","authors":"Monique Snoeck, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt","doi":"10.1007/s10270-023-01095-4","DOIUrl":"https://doi.org/10.1007/s10270-023-01095-4","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135957297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
SimIMA: a virtual Simulink intelligent modeling assistant SimIMA:一个虚拟的Simulink智能建模助手
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01093-6
Bhisma Adhikari, E. J. Rapos, Matthew Stephan
{"title":"SimIMA: a virtual Simulink intelligent modeling assistant","authors":"Bhisma Adhikari, E. J. Rapos, Matthew Stephan","doi":"10.1007/s10270-023-01093-6","DOIUrl":"https://doi.org/10.1007/s10270-023-01093-6","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"59 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85792916","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
In memory of Heinrich Hussmann, long-time friend and SoSyM editor 纪念海因里希·胡斯曼，老朋友和SoSyM的编辑
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-13 DOI: 10.1007/s10270-023-01099-0
M. Broy, A. Schmidt, M. Wirsing
{"title":"In memory of Heinrich Hussmann, long-time friend and SoSyM editor","authors":"M. Broy, A. Schmidt, M. Wirsing","doi":"10.1007/s10270-023-01099-0","DOIUrl":"https://doi.org/10.1007/s10270-023-01099-0","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"10 1","pages":"453 - 454"},"PeriodicalIF":2.0,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87840173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Guest editorial for the theme section on modeling language engineering 关于建模语言工程主题部分的客座社论
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-10 DOI: 10.1007/s10270-023-01097-2
B. Combemale, Romina Eramo, J. Lara
{"title":"Guest editorial for the theme section on modeling language engineering","authors":"B. Combemale, Romina Eramo, J. Lara","doi":"10.1007/s10270-023-01097-2","DOIUrl":"https://doi.org/10.1007/s10270-023-01097-2","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"43 1","pages":"795 - 796"},"PeriodicalIF":2.0,"publicationDate":"2023-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90646364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development 模型驱动开发环境下分布式实时反应系统的有效回归测试
IF 2 3区 计算机科学
Software and Systems Modeling Pub Date : 2023-03-06 DOI: 10.1007/s10270-023-01086-5
Majid Babaei, Juergen Dingel
{"title":"Efficient regression testing of distributed real-time reactive systems in the context of model-driven development","authors":"Majid Babaei, Juergen Dingel","doi":"10.1007/s10270-023-01086-5","DOIUrl":"https://doi.org/10.1007/s10270-023-01086-5","url":null,"abstract":"","PeriodicalId":49507,"journal":{"name":"Software and Systems Modeling","volume":"77 1","pages":"1565 - 1587"},"PeriodicalIF":2.0,"publicationDate":"2023-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79654319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信