Pub Date : 2012-09-27DOI: 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}
Pub Date : 2012-09-27DOI: 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}
Pub Date : 2012-09-27DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
Pub Date : 2011-09-29DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：