Pub Date : 2014-06-02DOI: 10.1007/978-3-662-43652-3_25
A. Edmunds
{"title":"Templates for Event-B Code Generation","authors":"A. Edmunds","doi":"10.1007/978-3-662-43652-3_25","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_25","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132953668","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 : 2014-06-02DOI: 10.1007/978-3-319-07512-9_3
Paolo Arcaini, A. Gargantini, E. Riccobene
{"title":"Modeling and Analyzing Using ASMs: The Landing Gear System Case Study","authors":"Paolo Arcaini, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-319-07512-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_3","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129064835","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_31
Ferney A. Maldonado-Lopez, J. Chavarriaga, Y. Donoso
{"title":"Detecting Network Policy Conflicts Using Alloy","authors":"Ferney A. Maldonado-Lopez, J. Chavarriaga, Y. Donoso","doi":"10.1007/978-3-662-43652-3_31","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_31","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122437344","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_24
Tsutomu Kobayashi, F. Ishikawa, S. Honiden
{"title":"Understanding and Planning Event-B Refinement through Primitive Rationales","authors":"Tsutomu Kobayashi, F. Ishikawa, S. Honiden","doi":"10.1007/978-3-662-43652-3_24","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_24","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115225309","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_5
Aleksandar Milicevic, I. Efrati, D. Jackson
{"title":"αRby - An Embedding of Alloy in Ruby","authors":"Aleksandar Milicevic, I. Efrati, D. Jackson","doi":"10.1007/978-3-662-43652-3_5","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_5","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129180822","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_18
A. Prinz, E. Sherratt
{"title":"Distributed ASM - Pitfalls and Solutions","authors":"A. Prinz, E. Sherratt","doi":"10.1007/978-3-662-43652-3_18","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_18","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124392117","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_12
E. Boiten, J. Jacob
{"title":"Sealed Containers in Z","authors":"E. Boiten, J. Jacob","doi":"10.1007/978-3-662-43652-3_12","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_12","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125647989","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 : 2014-06-02DOI: 10.1007/978-3-319-07512-9_10
Felix Kossak
{"title":"Landing Gear System: An ASM-Based Solution for the ABZ Case Study","authors":"Felix Kossak","doi":"10.1007/978-3-319-07512-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-07512-9_10","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123774335","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_9
Manamiary Bruno Andriamiarina, D. Méry, N. Singh
{"title":"Analysis of Self-⋆ and P2P Systems Using Refinement","authors":"Manamiary Bruno Andriamiarina, D. Méry, N. Singh","doi":"10.1007/978-3-662-43652-3_9","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_9","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122913659","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 : 2014-06-02DOI: 10.1007/978-3-662-43652-3_15
Marcel Dausend, Alexander Raschke
{"title":"Introducing Aspect-Oriented Specification for Abstract State Machines","authors":"Marcel Dausend, Alexander Raschke","doi":"10.1007/978-3-662-43652-3_15","DOIUrl":"https://doi.org/10.1007/978-3-662-43652-3_15","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125157199","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
扫码关注我们
求助内容：
应助结果提醒方式：