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

Formal Specification and Development in B最新文献

筛选
英文 中文
BE4: The B Extensible Eclipse Editing Environment BE4:可扩展Eclipse编辑环境
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_27
Jens Bendisposto, M. Leuschel
{"title":"BE4: The B Extensible Eclipse Editing Environment","authors":"Jens Bendisposto, M. Leuschel","doi":"10.1007/11955757_27","DOIUrl":"https://doi.org/10.1007/11955757_27","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"67 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":"126953915","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
Using B Machines for Model-Based Testing of Smartcard Software 使用B机进行智能卡软件的模型测试
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_2
Eddie Jaffuel
{"title":"Using B Machines for Model-Based Testing of Smartcard Software","authors":"Eddie Jaffuel","doi":"10.1007/11955757_2","DOIUrl":"https://doi.org/10.1007/11955757_2","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"4 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":"122203901","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
Augmenting B with Control Annotations 用控件注解扩充B
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_6
Wilson Ifill, Steve A. Schneider, H. Treharne
{"title":"Augmenting B with Control Annotations","authors":"Wilson Ifill, Steve A. Schneider, H. Treharne","doi":"10.1007/11955757_6","DOIUrl":"https://doi.org/10.1007/11955757_6","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":"132861227","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
BRAMA: A New Graphic Animation Tool for B Models BRAMA:一个新的B模型图形动画工具
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_28
Thierry Servat
{"title":"BRAMA: A New Graphic Animation Tool for B Models","authors":"Thierry Servat","doi":"10.1007/11955757_28","DOIUrl":"https://doi.org/10.1007/11955757_28","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"200 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":"116890397","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}
引用次数: 56
Automatic Translation from Combined B and CSP Specification to Java Programs 从组合B和CSP规范到Java程序的自动翻译
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_8
Letu Yang, M. Poppleton
{"title":"Automatic Translation from Combined B and CSP Specification to Java Programs","authors":"Letu Yang, M. Poppleton","doi":"10.1007/11955757_8","DOIUrl":"https://doi.org/10.1007/11955757_8","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"6 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":"115097136","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
A Generic Flash-Based Animation Engine for ProB 一个通用的基于flash的动画引擎
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_26
Jens Bendisposto, M. Leuschel
{"title":"A Generic Flash-Based Animation Engine for ProB","authors":"Jens Bendisposto, M. Leuschel","doi":"10.1007/11955757_26","DOIUrl":"https://doi.org/10.1007/11955757_26","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 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":"114262340","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
B in Large-Scale Projects: The Canarsie Line CBTC Experience 大型项目B: Canarsie Line CBTC经验
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_21
D. Essamé, Daniela Dolle
{"title":"B in Large-Scale Projects: The Canarsie Line CBTC Experience","authors":"D. Essamé, Daniela Dolle","doi":"10.1007/11955757_21","DOIUrl":"https://doi.org/10.1007/11955757_21","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"84 3 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":"131052363","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}
引用次数: 39
Symmetry Reduction for B by Permutation Flooding B的置换泛洪对称约简
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_9
M. Leuschel, M. Butler, Corinna Spermann, E. Turner
{"title":"Symmetry Reduction for B by Permutation Flooding","authors":"M. Leuschel, M. Butler, Corinna Spermann, E. Turner","doi":"10.1007/11955757_9","DOIUrl":"https://doi.org/10.1007/11955757_9","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"50 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":"125642051","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}
引用次数: 24
Chorus Angelorum
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_5
S. Dunne
{"title":"Chorus Angelorum","authors":"S. Dunne","doi":"10.1007/11955757_5","DOIUrl":"https://doi.org/10.1007/11955757_5","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 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":"130568681","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
Refinement of Statemachines Using Event B Semantics 使用事件B语义的状态机改进
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_15
C. Snook, M. Waldén
{"title":"Refinement of Statemachines Using Event B Semantics","authors":"C. Snook, M. Waldén","doi":"10.1007/11955757_15","DOIUrl":"https://doi.org/10.1007/11955757_15","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"29 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":"127943748","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
首页 上一页 下一页 尾页
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学术官方微信