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

International Workshops on Abstract State Machines最新文献

筛选
英文 中文
Secrecy UML Method for Model Transformations 模型转换的保密UML方法
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_35
Waël Hassan, Nadera Slimani, K. Adi, L. Logrippo
{"title":"Secrecy UML Method for Model Transformations","authors":"Waël Hassan, Nadera Slimani, K. Adi, L. Logrippo","doi":"10.1007/978-3-642-11811-1_35","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_35","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122998439","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
Event-B Decomposition for Parallel Programs 并行程序的事件- b分解
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_24
Son Hoang, J. Abrial
{"title":"Event-B Decomposition for Parallel Programs","authors":"Son Hoang, J. Abrial","doi":"10.1007/978-3-642-11811-1_24","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_24","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128385336","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}
引用次数: 32
A Basis for Feature-Oriented Modelling in Event-B Event-B中面向特征建模的基础
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_42
J. Sorge, M. Poppleton, M. Butler
{"title":"A Basis for Feature-Oriented Modelling in Event-B","authors":"J. Sorge, M. Poppleton, M. Butler","doi":"10.1007/978-3-642-11811-1_42","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_42","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131211775","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
Alloy+HotCore: A Fast Approximation to Unsat Core 合金+HotCore:快速逼近Unsat核心
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_13
Nicolás D'Ippolito, M. Frias, Juan P. Galeotti, Esteban Lanzarotti, S. Mera
{"title":"Alloy+HotCore: A Fast Approximation to Unsat Core","authors":"Nicolás D'Ippolito, M. Frias, Juan P. Galeotti, Esteban Lanzarotti, S. Mera","doi":"10.1007/978-3-642-11811-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_13","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115596878","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
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications AsmetaSMV:一种将高级ASM模型链接到低级NuSMV规范的方法
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_6
Paolo Arcaini, A. Gargantini, E. Riccobene
{"title":"AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications","authors":"Paolo Arcaini, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-642-11811-1_6","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_6","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123435489","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}
引用次数: 70
Towards Validation of Requirements Models 迈向需求模型的验证
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_38
A. Mashkoor, A. Matoussi
{"title":"Towards Validation of Requirements Models","authors":"A. Mashkoor, A. Matoussi","doi":"10.1007/978-3-642-11811-1_38","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_38","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129907135","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}
引用次数: 15
On an Extensible Rule-Based Prover for Event-B 事件b的可扩展基于规则的证明器
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_40
Issam Maamria, M. Butler, A. Edmunds, A. Rezazadeh
{"title":"On an Extensible Rule-Based Prover for Event-B","authors":"Issam Maamria, M. Butler, A. Edmunds, A. Rezazadeh","doi":"10.1007/978-3-642-11811-1_40","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_40","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124379971","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}
引用次数: 14
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking 基于改进的对称性正确性证明减少了模型检查
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_18
E. Turner, M. Butler, M. Leuschel
{"title":"A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking","authors":"E. Turner, M. Butler, M. Leuschel","doi":"10.1007/978-3-642-11811-1_18","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_18","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"451 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131774555","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
B Model Abstraction Combining Syntactic and Semantic Methods B结合句法和语义方法的模型抽象
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_41
J. Julliand, N. Stouls, Pierre-Christophe Bué, P. Masson
{"title":"B Model Abstraction Combining Syntactic and Semantic Methods","authors":"J. Julliand, N. Stouls, Pierre-Christophe Bué, P. Masson","doi":"10.1007/978-3-642-11811-1_41","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_41","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115889417","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
Lightweight Modeling of Java Virtual Machine Security Constraints Java虚拟机安全约束的轻量级建模
International Workshops on Abstract State Machines Pub Date : 2010-02-22 DOI: 10.1007/978-3-642-11811-1_12
M. Reynolds
{"title":"Lightweight Modeling of Java Virtual Machine Security Constraints","authors":"M. Reynolds","doi":"10.1007/978-3-642-11811-1_12","DOIUrl":"https://doi.org/10.1007/978-3-642-11811-1_12","url":null,"abstract":"","PeriodicalId":363933,"journal":{"name":"International Workshops on Abstract State Machines","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126940071","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
首页 上一页 下一页 尾页
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学术官方微信