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

Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
Evolving the DarTwin evolution language. 进化DarTwin进化语言。
IF 1.4
Innovations in Systems and Software Engineering Pub Date : 2027-01-01 Epub Date: 2026-09-23 DOI: 10.1007/s11334-026-00647-3
Øystein Haugen, Martin Arthur Andersen, Stefan Klikovits, Francis Bordeleau, Joost Mertens, Joachim Denil
{"title":"Evolving the DarTwin evolution language.","authors":"Øystein Haugen, Martin Arthur Andersen, Stefan Klikovits, Francis Bordeleau, Joost Mertens, Joachim Denil","doi":"10.1007/s11334-026-00647-3","DOIUrl":"https://doi.org/10.1007/s11334-026-00647-3","url":null,"abstract":"<p><p>DarTwin is a notation for describing and planning evolution of digital twin systems. Originally conceived as a graphical notation, DarTwin has evolved into a domain-specific language formally defined in SysML v2. This evolution exposed challenges related to graphical notation support, tooling interoperability, and co-evolution between notation, language definition, and modelling environments. We experienced that SysML v2 tooling was not adequate to provide our DarTwin graphical notation even with some post-processing. The SysML v2 definition of DarTwin did, however, motivate improvements of the DarTwin DSL. To provide fruitful DarTwin graphical notation and still maintain the formal definition in SysML v2 we demonstrate how domain-specific tooling (MetaEdit+) helps improving the graphic editing and rendering support and thus achieve a more effective and intuitive use of DarTwin. By generating SysML v2 from MetaEdit+ we preserve the connection between the adequate graphical notation and the precision and formality of DarTwin. The combined DarTwin tooling made the methodology to apply general evolution transition patterns (DarTrans) more formal and precise while still intuitive through graphic notation using colour and dashes. This in turn motivated enhancing the DarTwin language by adding concepts related to the evolution transitions to facilitate discovering and documenting the transitions.</p>","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"23 1","pages":"1"},"PeriodicalIF":1.4,"publicationDate":"2027-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC13601109/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149041313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Convolutional neural network-based classifiers for liver tumor detection using computed tomography scans 基于卷积神经网络的分类器用于利用计算机断层扫描检测肝脏肿瘤
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-28 DOI: 10.1007/s11334-023-00547-w
Yagnesh Challagundla, Trilok Sai Charan Tunuguntla, Sindhu Gayathri Tunuguntla, Nagaraju Devarakonda
{"title":"Convolutional neural network-based classifiers for liver tumor detection using computed tomography scans","authors":"Yagnesh Challagundla, Trilok Sai Charan Tunuguntla, Sindhu Gayathri Tunuguntla, Nagaraju Devarakonda","doi":"10.1007/s11334-023-00547-w","DOIUrl":"https://doi.org/10.1007/s11334-023-00547-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"343 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139152120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preface to the VECoS 2020 & 2021 special issue of ISSE VECoS 2020 & 2021》特刊序言
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-26 DOI: 10.1007/s11334-023-00543-0
Kamel Barkaoui, Belgacem Ben Hedia
{"title":"Preface to the VECoS 2020 & 2021 special issue of ISSE","authors":"Kamel Barkaoui, Belgacem Ben Hedia","doi":"10.1007/s11334-023-00543-0","DOIUrl":"https://doi.org/10.1007/s11334-023-00543-0","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"23 54","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139156117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Timeshifting strategies for carbon-efficient long-running large language model training 高碳高效长期运行大型语言模型训练的时间转换策略
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-19 DOI: 10.1007/s11334-023-00546-x
Akshaya Jagannadharao, Nicole Beckage, Dawn Nafus, Scott Chamberlin
{"title":"Timeshifting strategies for carbon-efficient long-running large language model training","authors":"Akshaya Jagannadharao, Nicole Beckage, Dawn Nafus, Scott Chamberlin","doi":"10.1007/s11334-023-00546-x","DOIUrl":"https://doi.org/10.1007/s11334-023-00546-x","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" July","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138960801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Eliciting context-oriented NFR constraints and conflicts in robotic systems 在机器人系统中激发面向上下文的 NFR 约束和冲突
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-09 DOI: 10.1007/s11334-023-00545-y
Raunak Bag, Mandira Roy, Agostino Cortesi, N. Chaki
{"title":"Eliciting context-oriented NFR constraints and conflicts in robotic systems","authors":"Raunak Bag, Mandira Roy, Agostino Cortesi, N. Chaki","doi":"10.1007/s11334-023-00545-y","DOIUrl":"https://doi.org/10.1007/s11334-023-00545-y","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"1 6","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138586067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Nuclei-Net: a multi-stage fusion model for nuclei segmentation in microscopy images Nuclei-Net：显微镜图像中细胞核分割的多级融合模型
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-06 DOI: 10.1007/s11334-023-00537-y
K. Roy, Subhadeep Saha, Debapriya Banik, D. Bhattacharjee
{"title":"Nuclei-Net: a multi-stage fusion model for nuclei segmentation in microscopy images","authors":"K. Roy, Subhadeep Saha, Debapriya Banik, D. Bhattacharjee","doi":"10.1007/s11334-023-00537-y","DOIUrl":"https://doi.org/10.1007/s11334-023-00537-y","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"12 9","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138597065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A comprehensive survey on machine learning techniques to mobilize multi-camera network for smart surveillance 动员多摄像机网络进行智能监控的机器学习技术综述
Innovations in Systems and Software Engineering Pub Date : 2023-10-24 DOI: 10.1007/s11334-023-00533-2
Anandu M. Dharan, Debarka Mukhopadhyay
{"title":"A comprehensive survey on machine learning techniques to mobilize multi-camera network for smart surveillance","authors":"Anandu M. Dharan, Debarka Mukhopadhyay","doi":"10.1007/s11334-023-00533-2","DOIUrl":"https://doi.org/10.1007/s11334-023-00533-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135268447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Personality analysis for handwritten documents: a case study with Bangla characters 手写体文件的个性分析:以孟加拉文字为例
Innovations in Systems and Software Engineering Pub Date : 2023-10-21 DOI: 10.1007/s11334-023-00538-x
Suparna Saha Biswas, Arpan Roy, Chayan Halder, Kaushik Roy
{"title":"Personality analysis for handwritten documents: a case study with Bangla characters","authors":"Suparna Saha Biswas, Arpan Roy, Chayan Halder, Kaushik Roy","doi":"10.1007/s11334-023-00538-x","DOIUrl":"https://doi.org/10.1007/s11334-023-00538-x","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"14 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135512528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Selected extended papers of NFM 2021 NFM 2021扩展论文选集
Innovations in Systems and Software Engineering Pub Date : 2023-10-18 DOI: 10.1007/s11334-023-00544-z
Aaron Dutle, Mariano M. Moscato, Laura Titolo, C.ésar A. Muñoz, Ivan Perez
{"title":"Selected extended papers of NFM 2021","authors":"Aaron Dutle, Mariano M. Moscato, Laura Titolo, C.ésar A. Muñoz, Ivan Perez","doi":"10.1007/s11334-023-00544-z","DOIUrl":"https://doi.org/10.1007/s11334-023-00544-z","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135825397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An automatic thaat and raga identification system using CNN-based models 基于cnn模型的音乐和拉格自动识别系统
Innovations in Systems and Software Engineering Pub Date : 2023-10-17 DOI: 10.1007/s11334-023-00541-2
Surya Majumder, Adrija Bhattacharya
{"title":"An automatic thaat and raga identification system using CNN-based models","authors":"Surya Majumder, Adrija Bhattacharya","doi":"10.1007/s11334-023-00541-2","DOIUrl":"https://doi.org/10.1007/s11334-023-00541-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135994125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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学术文献互助群
群 号：604180095
Book学术官方微信
小红书