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

International Symposium on Software Engineering: Theories, Tools, and Applications最新文献

筛选
英文 中文
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics 具有抽象状态机和SMV执行语义的IEC61499功能块的形式化建模和验证
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_20
Sandeep Patil, V. Dubinin, V. Vyatkin
{"title":"Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics","authors":"Sandeep Patil, V. Dubinin, V. Vyatkin","doi":"10.1007/978-3-319-25942-0_20","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_20","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131842891","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}
引用次数: 24
Automatic Fault Localization for BIP BIP故障自动定位
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_18
Qiang Wang, Yan Lei, S. Bliudze, Xiaoguang Mao
{"title":"Automatic Fault Localization for BIP","authors":"Qiang Wang, Yan Lei, S. Bliudze, Xiaoguang Mao","doi":"10.1007/978-3-319-25942-0_18","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_18","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123837927","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}
引用次数: 9
Generating Specifications for Recursive Methods by Abstracting Program States 通过抽象程序状态生成递归方法的规范
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_16
Nathan Wasser
{"title":"Generating Specifications for Recursive Methods by Abstracting Program States","authors":"Nathan Wasser","doi":"10.1007/978-3-319-25942-0_16","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_16","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115930391","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}
引用次数: 7
Refinement and Proof Based Development of Systems Characterized by Continuous Functions 以连续函数为特征的系统的改进和基于证明的开发
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_4
G. Babin, Y. A. Ameur, S. Nakajima, M. Pantel
{"title":"Refinement and Proof Based Development of Systems Characterized by Continuous Functions","authors":"G. Babin, Y. A. Ameur, S. Nakajima, M. Pantel","doi":"10.1007/978-3-319-25942-0_4","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_4","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116406500","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}
引用次数: 10
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations 具有非确定性同步的MPI程序符号验证
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62822-2_10
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
{"title":"Symbolic Verification of MPI Programs with Non-deterministic Synchronizations","authors":"Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang","doi":"10.1007/978-3-030-62822-2_10","DOIUrl":"https://doi.org/10.1007/978-3-030-62822-2_10","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127301932","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
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas ESampler:布尔公式满意赋值的有效抽样
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_15
Yongjie Xu, F. Song, Taolue Chen
{"title":"ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas","authors":"Yongjie Xu, F. Song, Taolue Chen","doi":"10.1007/978-3-030-91265-9_15","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_15","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126157498","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
Symbolic Model Checking with Sentential Decision Diagrams 用句子决策图检验符号模型
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62822-2_8
Lieuwe Vinkhuijzen, A. Laarman
{"title":"Symbolic Model Checking with Sentential Decision Diagrams","authors":"Lieuwe Vinkhuijzen, A. Laarman","doi":"10.1007/978-3-030-62822-2_8","DOIUrl":"https://doi.org/10.1007/978-3-030-62822-2_8","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122559213","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
API Usage Pattern Search Based on Model Checking 基于模型检查的API使用模式搜索
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_16
Xue-er Ding, Jun Niu, Jia Wang
{"title":"API Usage Pattern Search Based on Model Checking","authors":"Xue-er Ding, Jun Niu, Jia Wang","doi":"10.1007/978-3-030-91265-9_16","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_16","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114071985","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
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory 基于复杂网络理论的包内聚和耦合度量的软件缺陷倾向预测
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62822-2_12
Yangxi Zhou, Yan Zhu, Liangyu Chen
{"title":"Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory","authors":"Yangxi Zhou, Yan Zhu, Liangyu Chen","doi":"10.1007/978-3-030-62822-2_12","DOIUrl":"https://doi.org/10.1007/978-3-030-62822-2_12","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134005512","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
Reentrancy? Yes. Reentrancy Bug? No 可重入性?是的。可重入性错误?没有
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62822-2_2
Qinxiang Cao, Zhongye Wang
{"title":"Reentrancy? Yes. Reentrancy Bug? No","authors":"Qinxiang Cao, Zhongye Wang","doi":"10.1007/978-3-030-62822-2_2","DOIUrl":"https://doi.org/10.1007/978-3-030-62822-2_2","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124049991","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
首页 上一页 下一页 尾页
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学术官方微信