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

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

筛选
英文 中文
Verifying OpenJDK’s LinkedList using KeY (extended paper) 使用KeY验证OpenJDK的LinkedList(扩展论文)
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-10-01 DOI: 10.1007/s10009-022-00679-7
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, F. D. de Boer, Stijn de Gouw
{"title":"Verifying OpenJDK’s LinkedList using KeY (extended paper)","authors":"Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, F. D. de Boer, Stijn de Gouw","doi":"10.1007/s10009-022-00679-7","DOIUrl":"https://doi.org/10.1007/s10009-022-00679-7","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"22 1","pages":"783 - 802"},"PeriodicalIF":1.5,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75458428","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
Analysis of non-Markovian repairable fault trees through rare event simulation 基于罕见事件仿真的非马尔可夫可修故障树分析
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-10-01 DOI: 10.1007/s10009-022-00675-x
C. E. Budde, P. D’Argenio, Raúl E. Monti, M. Stoelinga
{"title":"Analysis of non-Markovian repairable fault trees through rare event simulation","authors":"C. E. Budde, P. D’Argenio, Raúl E. Monti, M. Stoelinga","doi":"10.1007/s10009-022-00675-x","DOIUrl":"https://doi.org/10.1007/s10009-022-00675-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"17 1","pages":"821-841"},"PeriodicalIF":1.5,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88708291","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
Full-program induction: verifying array programs sans loop invariants 全程序归纳:验证无循环不变量的数组程序
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-26 DOI: 10.1007/s10009-022-00676-w
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
{"title":"Full-program induction: verifying array programs sans loop invariants","authors":"Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat","doi":"10.1007/s10009-022-00676-w","DOIUrl":"https://doi.org/10.1007/s10009-022-00676-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"18 1","pages":"843-888"},"PeriodicalIF":1.5,"publicationDate":"2022-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87309510","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
The CoLiS platform for the analysis of maintainer scripts in Debian software packages CoLiS平台用于分析Debian软件包中的维护者脚本
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-23 DOI: 10.1007/s10009-022-00671-1
Benedikt F. H. Becker, Nicolas Jeannerod, C. Marché, Yann Régis-Gianas, M. Sighireanu, R. Treinen
{"title":"The CoLiS platform for the analysis of maintainer scripts in Debian software packages","authors":"Benedikt F. H. Becker, Nicolas Jeannerod, C. Marché, Yann Régis-Gianas, M. Sighireanu, R. Treinen","doi":"10.1007/s10009-022-00671-1","DOIUrl":"https://doi.org/10.1007/s10009-022-00671-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"62 1","pages":"717 - 733"},"PeriodicalIF":1.5,"publicationDate":"2022-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83156908","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
OC-PM: analyzing object-centric event logs and process models OC-PM:分析以对象为中心的事件日志和流程模型
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-20 DOI: 10.1007/s10009-022-00668-w
A. Berti, Wil M.P. van der Aalst
{"title":"OC-PM: analyzing object-centric event logs and process models","authors":"A. Berti, Wil M.P. van der Aalst","doi":"10.1007/s10009-022-00668-w","DOIUrl":"https://doi.org/10.1007/s10009-022-00668-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"31 1","pages":"1 - 17"},"PeriodicalIF":1.5,"publicationDate":"2022-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84623339","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}
引用次数: 8
The Discourje project: run-time verification of communication protocols in Clojure disjje项目:Clojure中通信协议的运行时验证
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-20 DOI: 10.1007/s10009-022-00674-y
Ruben Hamers, Erik Horlings, S. Jongmans
{"title":"The Discourje project: run-time verification of communication protocols in Clojure","authors":"Ruben Hamers, Erik Horlings, S. Jongmans","doi":"10.1007/s10009-022-00674-y","DOIUrl":"https://doi.org/10.1007/s10009-022-00674-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"14 1","pages":"757 - 782"},"PeriodicalIF":1.5,"publicationDate":"2022-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89956632","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
Bounded DBM-based clock state construction for timed automata in Uppaal Uppaal中基于有界dbm的定时自动机时钟状态构造
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-08 DOI: 10.1007/s10009-022-00667-x
Sascha Lehmann, S. Schupp
{"title":"Bounded DBM-based clock state construction for timed automata in Uppaal","authors":"Sascha Lehmann, S. Schupp","doi":"10.1007/s10009-022-00667-x","DOIUrl":"https://doi.org/10.1007/s10009-022-00667-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"90 1","pages":"19 - 47"},"PeriodicalIF":1.5,"publicationDate":"2022-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78408225","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
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL AADL中虚拟同步信息物理系统的建模与形式化分析
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-09-03 DOI: 10.1007/s10009-022-00665-z
Jaehun Lee, K. Bae, P. C. Ölveczky, Sharon Kim, Minseok Kang
{"title":"Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL","authors":"Jaehun Lee, K. Bae, P. C. Ölveczky, Sharon Kim, Minseok Kang","doi":"10.1007/s10009-022-00665-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00665-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"123 1","pages":"911 - 948"},"PeriodicalIF":1.5,"publicationDate":"2022-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79187041","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
GSDetector: a tool for automatic detection of bad smells in GRL goal models GSDetector:用于自动检测GRL目标模型中的不良气味的工具
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-08-13 DOI: 10.1007/s10009-022-00662-2
Mawal A. Mohammed, J. Hassine, M. Alshayeb
{"title":"GSDetector: a tool for automatic detection of bad smells in GRL goal models","authors":"Mawal A. Mohammed, J. Hassine, M. Alshayeb","doi":"10.1007/s10009-022-00662-2","DOIUrl":"https://doi.org/10.1007/s10009-022-00662-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"1 1","pages":"889 - 910"},"PeriodicalIF":1.5,"publicationDate":"2022-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88747080","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
An automated framework for verifying or refuting trace properties of extended finite state machines 用于验证或驳斥扩展有限状态机的跟踪属性的自动框架
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-07-29 DOI: 10.1007/s10009-022-00666-y
Ramsay G. Taylor, Michael Foster, Siobhán North
{"title":"An automated framework for verifying or refuting trace properties of extended finite state machines","authors":"Ramsay G. Taylor, Michael Foster, Siobhán North","doi":"10.1007/s10009-022-00666-y","DOIUrl":"https://doi.org/10.1007/s10009-022-00666-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"34 1","pages":"949 - 972"},"PeriodicalIF":1.5,"publicationDate":"2022-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82697659","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学术官方微信