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

International Workshop on Software Engineering for Resilient Systems最新文献

筛选
英文 中文
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain 用PVS支持现场调查员:医疗保健领域的案例研究
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_11
P. Masci, D. Furniss, P. Curzon, M. Harrison, A. Blandford
{"title":"Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain","authors":"P. Masci, D. Furniss, P. Curzon, M. Harrison, A. Blandford","doi":"10.1007/978-3-642-33176-3_11","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_11","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128376803","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
FAS: Introducing a Service for Avoiding Faults in Composite Services FAS:在组合服务中引入避免故障的服务
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_8
Koray Gülcü, Hasan Sözer, Barış Aktemur
{"title":"FAS: Introducing a Service for Avoiding Faults in Composite Services","authors":"Koray Gülcü, Hasan Sözer, Barış Aktemur","doi":"10.1007/978-3-642-33176-3_8","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_8","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123622693","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}
引用次数: 5
Assume-Guarantee Testing of Evolving Software Product Line Architectures 不断发展的软件产品线架构的假设保证测试
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_7
M. T. Beek, H. Muccini, Patrizio Pelliccione
{"title":"Assume-Guarantee Testing of Evolving Software Product Line Architectures","authors":"M. T. Beek, H. Muccini, Patrizio Pelliccione","doi":"10.1007/978-3-642-33176-3_7","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_7","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126676758","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}
引用次数: 2
Preliminary Interdependency Analysis (PIA): Method and Tool Support 初步相互依赖分析(PIA):方法和工具支持
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_1
P. Popov
{"title":"Preliminary Interdependency Analysis (PIA): Method and Tool Support","authors":"P. Popov","doi":"10.1007/978-3-642-24124-6_1","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_1","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114779385","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}
引用次数: 8
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example 自组织无处不在的生态系统:一个人群疏散的例子
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_12
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, G. Serugendo
{"title":"Self-organising Pervasive Ecosystems: A Crowd Evacuation Example","authors":"Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, G. Serugendo","doi":"10.1007/978-3-642-24124-6_12","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_12","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130568488","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}
引用次数: 12
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach 用例场景作为验证条件:事件- b /流方法
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_2
A. Iliasov
{"title":"Use Case Scenarios as Verification Conditions: Event-B/Flow Approach","authors":"A. Iliasov","doi":"10.1007/978-3-642-24124-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_2","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133028160","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}
引用次数: 29
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis 基于自动化模型分析的异构网络可靠性保证研究
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_7
P. Masci, Nicola Nostro, F. Giandomenico
{"title":"On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis","authors":"P. Masci, Nicola Nostro, F. Giandomenico","doi":"10.1007/978-3-642-24124-6_7","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_7","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125841279","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}
引用次数: 6
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions 利用多样性在云部署环境中避免入侵
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_14
A. Gorbenko, V. Kharchenko, O. Tarasyuk, A. Romanovsky
{"title":"Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions","authors":"A. Gorbenko, V. Kharchenko, O. Tarasyuk, A. Romanovsky","doi":"10.1007/978-3-642-24124-6_14","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_14","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127458688","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}
引用次数: 12
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages 在使用嵌入式语言扩展应用程序时支持跨语言异常处理
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_8
Anthony Savidis
{"title":"Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages","authors":"Anthony Savidis","doi":"10.1007/978-3-642-24124-6_8","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_8","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130787753","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
Towards a Model-Driven Infrastructure for Runtime Monitoring 面向运行时监控的模型驱动基础结构
International Workshop on Software Engineering for Resilient Systems Pub Date : 2011-09-29 DOI: 10.1007/978-3-642-24124-6_13
A. Bertolino, Antonello Calabrò, F. Lonetti, A. Marco, A. Sabetta
{"title":"Towards a Model-Driven Infrastructure for Runtime Monitoring","authors":"A. Bertolino, Antonello Calabrò, F. Lonetti, A. Marco, A. Sabetta","doi":"10.1007/978-3-642-24124-6_13","DOIUrl":"https://doi.org/10.1007/978-3-642-24124-6_13","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125283983","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}
引用次数: 34
首页 上一页 下一页 尾页
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学术官方微信