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

Formal Specification and Development in B最新文献

筛选
英文 中文
Patterns for B: Bridging Formal and Informal Development B的模式:连接正式和非正式发展
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_12
Edward Chan, K. Robinson, Brett Welch
{"title":"Patterns for B: Bridging Formal and Informal Development","authors":"Edward Chan, K. Robinson, Brett Welch","doi":"10.1007/11955757_12","DOIUrl":"https://doi.org/10.1007/11955757_12","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114616569","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
Meca: A Tool for Access Control Models Meca:访问控制模型的工具
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_30
Amal Haddad
{"title":"Meca: A Tool for Access Control Models","authors":"Amal Haddad","doi":"10.1007/11955757_30","DOIUrl":"https://doi.org/10.1007/11955757_30","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"22 4 Suppl 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132664062","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
The B-Method for the Construction of Microkernel-Based Systems 构建微内核系统的b方法
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_23
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L. Burdy
{"title":"The B-Method for the Construction of Microkernel-Based Systems","authors":"Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L. Burdy","doi":"10.1007/11955757_23","DOIUrl":"https://doi.org/10.1007/11955757_23","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124308187","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}
引用次数: 11
LEIRIOS Test Generator: Automated Test Generation from B Models LEIRIOS测试生成器:从B模型自动生成测试
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_29
Eddie Jaffuel, B. Legeard
{"title":"LEIRIOS Test Generator: Automated Test Generation from B Models","authors":"Eddie Jaffuel, B. Legeard","doi":"10.1007/11955757_29","DOIUrl":"https://doi.org/10.1007/11955757_29","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124755433","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}
引用次数: 40
Verification of LTL on B Event Systems B事件系统上LTL的验证
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_11
J. Groslambert
{"title":"Verification of LTL on B Event Systems","authors":"J. Groslambert","doi":"10.1007/11955757_11","DOIUrl":"https://doi.org/10.1007/11955757_11","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"83 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123279961","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}
引用次数: 19
JML2B: Checking JML Specifications with B Machines JML2B:用B机器检查JML规范
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_31
F. Bouquet, Frédéric Dadeau, J. Groslambert
{"title":"JML2B: Checking JML Specifications with B Machines","authors":"F. Bouquet, Frédéric Dadeau, J. Groslambert","doi":"10.1007/11955757_31","DOIUrl":"https://doi.org/10.1007/11955757_31","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121289292","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
E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future 电子投票和需要严格的软件工程-过去，现在和未来
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_1
John Paul Gibson
{"title":"E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future","authors":"John Paul Gibson","doi":"10.1007/11955757_1","DOIUrl":"https://doi.org/10.1007/11955757_1","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128146892","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
Formal Transformation of Platform Independent Models into Platform Specific Models 平台独立模型到平台特定模型的正式转换
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_16
Pontus Boström, Mats Neovius, I. Oliver, M. Waldén
{"title":"Formal Transformation of Platform Independent Models into Platform Specific Models","authors":"Pontus Boström, Mats Neovius, I. Oliver, M. Waldén","doi":"10.1007/11955757_16","DOIUrl":"https://doi.org/10.1007/11955757_16","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124950483","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}
引用次数: 3
Justifications for the Event-B Modelling Notation 事件- b建模符号的理由
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_7
S. Hallerstede
{"title":"Justifications for the Event-B Modelling Notation","authors":"S. Hallerstede","doi":"10.1007/11955757_7","DOIUrl":"https://doi.org/10.1007/11955757_7","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121409676","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
Modelling and Proof Analysis of Interrupt Driven Scheduling 中断驱动调度的建模与证明分析
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_14
B. Stoddart, Dominique Cansell, Frank Zeyda
{"title":"Modelling and Proof Analysis of Interrupt Driven Scheduling","authors":"B. Stoddart, Dominique Cansell, Frank Zeyda","doi":"10.1007/11955757_14","DOIUrl":"https://doi.org/10.1007/11955757_14","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114962183","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}
引用次数: 11
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信