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

International Journal on Software Tools for Technology Transfer最新文献

筛选
英文 中文
DivSIM , an interactive simulator for LLVM bitcode DivSIM，一个用于LLVM位码的交互式模拟器
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-01 DOI: 10.1007/s10009-022-00659-x
Petr Ročkai, J. Barnat
{"title":"DivSIM , an interactive simulator for LLVM bitcode","authors":"Petr Ročkai, J. Barnat","doi":"10.1007/s10009-022-00659-x","DOIUrl":"https://doi.org/10.1007/s10009-022-00659-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"367 1","pages":"493 - 510"},"PeriodicalIF":1.5,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80381124","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
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach 多自主代理的可验证策略综合:一种可扩展的方法
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-03-30 DOI: 10.1007/s10009-022-00657-z
Rong Gu, P. G. Jensen, D. B. Poulsen, C. Seceleanu, Eduard Paul Enoiu, K. Lundqvist
{"title":"Verifiable strategy synthesis for multiple autonomous agents: a scalable approach","authors":"Rong Gu, P. G. Jensen, D. B. Poulsen, C. Seceleanu, Eduard Paul Enoiu, K. Lundqvist","doi":"10.1007/s10009-022-00657-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00657-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"10 1","pages":"395 - 414"},"PeriodicalIF":1.5,"publicationDate":"2022-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84184886","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}
引用次数: 7
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2 学习与CkTailv2通信系统的行为模型和依赖关系图
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-03-15 DOI: 10.1007/s10009-022-00651-5
S. Salva, Elliott Blot
{"title":"Learning of behavioural models and dependency graphs for communicating systems with CkTailv2","authors":"S. Salva, Elliott Blot","doi":"10.1007/s10009-022-00651-5","DOIUrl":"https://doi.org/10.1007/s10009-022-00651-5","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"10 1","pages":"529 - 548"},"PeriodicalIF":1.5,"publicationDate":"2022-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87513364","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
Generating test as a web service (TaaWS) through a method-based attribute grammar 通过基于方法的属性语法生成测试作为web服务(TaaWS)
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-03-03 DOI: 10.1007/s10009-022-00649-z
Elahe Habibi, S. Mirian-Hosseinabadi
{"title":"Generating test as a web service (TaaWS) through a method-based attribute grammar","authors":"Elahe Habibi, S. Mirian-Hosseinabadi","doi":"10.1007/s10009-022-00649-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00649-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"1 1","pages":"511 - 527"},"PeriodicalIF":1.5,"publicationDate":"2022-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83985144","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
Parameterized verification of systems with component identities, using view abstraction 使用视图抽象对具有组件身份的系统进行参数化验证
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-26 DOI: 10.1007/s10009-022-00648-0
G. Lowe
{"title":"Parameterized verification of systems with component identities, using view abstraction","authors":"G. Lowe","doi":"10.1007/s10009-022-00648-0","DOIUrl":"https://doi.org/10.1007/s10009-022-00648-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"149 1","pages":"287 - 324"},"PeriodicalIF":1.5,"publicationDate":"2022-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86657305","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
Correction to: Reliable benchmarking: requirements and solutions 修正:可靠的基准测试:要求和解决方案
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-21 DOI: 10.1007/s10009-020-00602-y
Dirk Beyer, Stefan Löwe, Philipp Wendler
{"title":"Correction to: Reliable benchmarking: requirements and solutions","authors":"Dirk Beyer, Stefan Löwe, Philipp Wendler","doi":"10.1007/s10009-020-00602-y","DOIUrl":"https://doi.org/10.1007/s10009-020-00602-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"239 1","pages":"661 - 661"},"PeriodicalIF":1.5,"publicationDate":"2022-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75845453","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
Software test results exploration and visualization with continuous integration and nightly testing 通过持续集成和夜间测试来探索和可视化软件测试结果
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-18 DOI: 10.1007/s10009-022-00647-1
P. Strandberg, W. Afzal, Daniel Sundmark
{"title":"Software test results exploration and visualization with continuous integration and nightly testing","authors":"P. Strandberg, W. Afzal, Daniel Sundmark","doi":"10.1007/s10009-022-00647-1","DOIUrl":"https://doi.org/10.1007/s10009-022-00647-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"01 1","pages":"261 - 285"},"PeriodicalIF":1.5,"publicationDate":"2022-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80298941","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}
引用次数: 5
Interface control document modeling with Citrus (avionics systems interfaces) 使用Citrus进行接口控制文档建模(航空电子系统接口)
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-04 DOI: 10.1007/s10009-022-00645-3
Hassna Louadah, Y. Labiche
{"title":"Interface control document modeling with Citrus (avionics systems interfaces)","authors":"Hassna Louadah, Y. Labiche","doi":"10.1007/s10009-022-00645-3","DOIUrl":"https://doi.org/10.1007/s10009-022-00645-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"32 1","pages":"225 - 245"},"PeriodicalIF":1.5,"publicationDate":"2022-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77787035","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
Supporting safe metamodel evolution with edelta 支持安全元模型演化与edelta
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-03 DOI: 10.1007/s10009-022-00646-2
Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, A. Pierantonio
{"title":"Supporting safe metamodel evolution with edelta","authors":"Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, A. Pierantonio","doi":"10.1007/s10009-022-00646-2","DOIUrl":"https://doi.org/10.1007/s10009-022-00646-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"12 1","pages":"247 - 260"},"PeriodicalIF":1.5,"publicationDate":"2022-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82329235","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
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions 具有互补边和边指定约简的二元决策图
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-02-01 DOI: 10.1007/s10009-021-00640-0
Junaid Babar, G. Ciardo, A. Miner
{"title":"CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions","authors":"Junaid Babar, G. Ciardo, A. Miner","doi":"10.1007/s10009-021-00640-0","DOIUrl":"https://doi.org/10.1007/s10009-021-00640-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"14 1","pages":"89 - 109"},"PeriodicalIF":1.5,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73080480","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}
引用次数: 3
首页 上一页 下一页 尾页
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学术官方微信