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

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

筛选
英文 中文
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019 构建和分析系统的工具和算法:TACAS 2019特刊
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-07-31 DOI: 10.1007/s10009-021-00642-y
Tomáš Vojnar, Lijun Zhang
{"title":"Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019","authors":"Tomáš Vojnar, Lijun Zhang","doi":"10.1007/s10009-021-00642-y","DOIUrl":"https://doi.org/10.1007/s10009-021-00642-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"93 1","pages":"29 - 31"},"PeriodicalIF":1.5,"publicationDate":"2021-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80465566","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}
引用次数: 11
Multi-level privacy analysis of business processes: the Pleak toolset 业务流程的多级隐私分析:Pleak工具集
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-07-21 DOI: 10.1007/s10009-021-00636-w
M. Dumas, L. García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevičius, A. Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin
{"title":"Multi-level privacy analysis of business processes: the Pleak toolset","authors":"M. Dumas, L. García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevičius, A. Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin","doi":"10.1007/s10009-021-00636-w","DOIUrl":"https://doi.org/10.1007/s10009-021-00636-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"199 1","pages":"183 - 203"},"PeriodicalIF":1.5,"publicationDate":"2021-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80066597","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
An extension of first-order LTL with rules with application to runtime verification 一阶LTL的扩展，带有运行时验证应用程序的规则
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-07-12 DOI: 10.1007/s10009-021-00626-y
K. Havelund, D. Peled
{"title":"An extension of first-order LTL with rules with application to runtime verification","authors":"K. Havelund, D. Peled","doi":"10.1007/s10009-021-00626-y","DOIUrl":"https://doi.org/10.1007/s10009-021-00626-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"110 2-3 1","pages":"547 - 563"},"PeriodicalIF":1.5,"publicationDate":"2021-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77216593","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
What can we monitor over unreliable channels? 我们可以在不可靠的频道上监控什么?
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-30 DOI: 10.1007/s10009-021-00625-z
S. Kauffman, K. Havelund, S. Fischmeister
{"title":"What can we monitor over unreliable channels?","authors":"S. Kauffman, K. Havelund, S. Fischmeister","doi":"10.1007/s10009-021-00625-z","DOIUrl":"https://doi.org/10.1007/s10009-021-00625-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"75 1","pages":"579 - 600"},"PeriodicalIF":1.5,"publicationDate":"2021-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74315366","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
Specifying and detecting temporal patterns with shape expressions 使用形状表达式指定和检测时间模式
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-29 DOI: 10.1007/s10009-021-00627-x
D. Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
{"title":"Specifying and detecting temporal patterns with shape expressions","authors":"D. Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh","doi":"10.1007/s10009-021-00627-x","DOIUrl":"https://doi.org/10.1007/s10009-021-00627-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"43 1","pages":"565 - 577"},"PeriodicalIF":1.5,"publicationDate":"2021-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85527200","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
The RERS challenge: towards controllable and scalable benchmark synthesis RERS的挑战:朝向可控和可扩展的基准合成
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-24 DOI: 10.1007/s10009-021-00617-z
Falk Howar, Marc Jasper, M. Mues, David M. Schmidt, B. Steffen
{"title":"The RERS challenge: towards controllable and scalable benchmark synthesis","authors":"Falk Howar, Marc Jasper, M. Mues, David M. Schmidt, B. Steffen","doi":"10.1007/s10009-021-00617-z","DOIUrl":"https://doi.org/10.1007/s10009-021-00617-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"917 - 930"},"PeriodicalIF":1.5,"publicationDate":"2021-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79866502","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}
引用次数: 4
First international competition on software testing 首届国际软件测试竞赛
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-22 DOI: 10.1007/s10009-021-00613-3
Dirk Beyer
{"title":"First international competition on software testing","authors":"Dirk Beyer","doi":"10.1007/s10009-021-00613-3","DOIUrl":"https://doi.org/10.1007/s10009-021-00613-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"833 - 846"},"PeriodicalIF":1.5,"publicationDate":"2021-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78222847","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
TOOLympics II: competitions on formal methods TOOLympics II:形式方法竞赛
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-18 DOI: 10.1007/s10009-021-00631-1
Dirk Beyer, M. Huisman, F. Kordon, B. Steffen
{"title":"TOOLympics II: competitions on formal methods","authors":"Dirk Beyer, M. Huisman, F. Kordon, B. Steffen","doi":"10.1007/s10009-021-00631-1","DOIUrl":"https://doi.org/10.1007/s10009-021-00631-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"11 1","pages":"879 - 881"},"PeriodicalIF":1.5,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76218443","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
Towards language-to-language transformation 走向语言到语言的转换
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-18 DOI: 10.1007/s10009-021-00630-2
Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, B. Steffen
{"title":"Towards language-to-language transformation","authors":"Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, B. Steffen","doi":"10.1007/s10009-021-00630-2","DOIUrl":"https://doi.org/10.1007/s10009-021-00630-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"67 1","pages":"655 - 677"},"PeriodicalIF":1.5,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86725569","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
Formal testing of timed graph transformation systems using metric temporal graph logic 使用度量时态图逻辑的时间图变换系统的形式化测试
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-06-01 DOI: 10.1007/s10009-020-00585-w
Sven Schneider, M. Maximova, Lucas Sakizloglou, H. Giese
{"title":"Formal testing of timed graph transformation systems using metric temporal graph logic","authors":"Sven Schneider, M. Maximova, Lucas Sakizloglou, H. Giese","doi":"10.1007/s10009-020-00585-w","DOIUrl":"https://doi.org/10.1007/s10009-020-00585-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"57 1","pages":"411 - 488"},"PeriodicalIF":1.5,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86766011","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
首页 上一页
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学术官方微信