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

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

筛选
英文 中文
Optimizing Verification of Structurally Evolving Algebraic Petri Nets 结构演化代数Petri网的优化验证
International Workshop on Software Engineering for Resilient Systems Pub Date : 2013-10-03 DOI: 10.1007/978-3-642-40894-6_6
Yasir Imtiaz Khan
{"title":"Optimizing Verification of Structurally Evolving Algebraic Petri Nets","authors":"Yasir Imtiaz Khan","doi":"10.1007/978-3-642-40894-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-40894-6_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121634060","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
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling 面向服务计算的可靠性:时间概率故障建模
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_9
A. Gorbenko, A. Romanovsky, V. Kharchenko, O. Tarasyuk
{"title":"Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling","authors":"A. Gorbenko, A. Romanovsky, V. Kharchenko, O. Tarasyuk","doi":"10.1007/978-3-642-33176-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_9","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"6 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":"123858581","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
Model-Based Evaluation of the Availability of a CBTC System 基于模型的CBTC系统可用性评估
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_12
Alessio Ferrari, M. Itria, S. Chiaradonna, G. Spagnolo
{"title":"Model-Based Evaluation of the Availability of a CBTC System","authors":"Alessio Ferrari, M. Itria, S. Chiaradonna, G. Spagnolo","doi":"10.1007/978-3-642-33176-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_12","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"22 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":"126255546","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
Language Enrichment for Resilient MDE 弹性MDE的语言丰富
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_6
Yasir Imtiaz Khan, Matteo Risoldi
{"title":"Language Enrichment for Resilient MDE","authors":"Yasir Imtiaz Khan, Matteo Risoldi","doi":"10.1007/978-3-642-33176-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_6","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"2 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":"124355458","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}
引用次数: 4
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain 嵌入式系统的安全生命周期开发过程建模。以铁路领域为例
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_5
B. Hamid, Jacob Geisel, A. Ziani, David González
{"title":"Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain","authors":"B. Hamid, Jacob Geisel, A. Ziani, David González","doi":"10.1007/978-3-642-33176-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_5","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"2 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":"134451577","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
Monitoring Service Choreographies from Multiple Sources 监视来自多个源的服务编排
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_10
Amira Ben Hamida, A. Bertolino, Antonello Calabrò, G. D. Angelis, Nelson Lago, J. Lesbegueries
{"title":"Monitoring Service Choreographies from Multiple Sources","authors":"Amira Ben Hamida, A. Bertolino, Antonello Calabrò, G. D. Angelis, Nelson Lago, J. Lesbegueries","doi":"10.1007/978-3-642-33176-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_10","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 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":"128419455","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}
引用次数: 21
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming 用编译时元编程实现可重用的异常处理模式
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_1
Yannis Lilis, Anthony Savidis
{"title":"Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming","authors":"Yannis Lilis, Anthony Savidis","doi":"10.1007/978-3-642-33176-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_1","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"11 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":"121840183","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
Linking Modelling in Event-B with Safety Cases 事件- b模型与安全案例的关联
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_4
Y. Prokhorova, E. Troubitsyna
{"title":"Linking Modelling in Event-B with Safety Cases","authors":"Y. Prokhorova, E. Troubitsyna","doi":"10.1007/978-3-642-33176-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_4","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"48 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":"117137510","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
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System 一个容错多机器人系统形式化开发的案例研究
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_2
Inna Pereverzeva, E. Troubitsyna, L. Laibinis
{"title":"A Case Study in Formal Development of a Fault Tolerant Multi-robotic System","authors":"Inna Pereverzeva, E. Troubitsyna, L. Laibinis","doi":"10.1007/978-3-642-33176-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_2","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"1 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":"129051435","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
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach 关键应用的容错交互驾驶舱:整体方法
International Workshop on Software Engineering for Resilient Systems Pub Date : 2012-09-27 DOI: 10.1007/978-3-642-33176-3_3
Camille Fayollas, J. Fabre, D. Navarre, Philippe A. Palanque, Y. Déléris
{"title":"Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach","authors":"Camille Fayollas, J. Fabre, D. Navarre, Philippe A. Palanque, Y. Déléris","doi":"10.1007/978-3-642-33176-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-33176-3_3","url":null,"abstract":"","PeriodicalId":284001,"journal":{"name":"International Workshop on Software Engineering for Resilient Systems","volume":"213 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":"122661599","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
首页 上一页 下一页 尾页
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学术官方微信