ABTOOLS:另一个B类工具

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Pub Date : 2003-06-18 DOI:10.1109/CSD.2003.1207718

J. Boulanger

{"title":"ABTOOLS:另一个B类工具","authors":"J. Boulanger","doi":"10.1109/CSD.2003.1207718","DOIUrl":null,"url":null,"abstract":"ABTools (B. Jean-Louis, 2001) provides an open environment based on ANTLR and Java and provides some facilities for design and test an extension for the B language. The formal B method is a 'model-based' formal method like Z or VDM but, unlike others, B allows an incremental process development starting from abstract specification to (automatically generated) code. We are particularly concerned by the fact that this process is covered by one and only one language: the Abstract Machine Notation (AMN).","PeriodicalId":228530,"journal":{"name":"Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"ABTOOLS: another B tool\",\"authors\":\"J. Boulanger\",\"doi\":\"10.1109/CSD.2003.1207718\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ABTools (B. Jean-Louis, 2001) provides an open environment based on ANTLR and Java and provides some facilities for design and test an extension for the B language. The formal B method is a 'model-based' formal method like Z or VDM but, unlike others, B allows an incremental process development starting from abstract specification to (automatically generated) code. We are particularly concerned by the fact that this process is covered by one and only one language: the Abstract Machine Notation (AMN).\",\"PeriodicalId\":228530,\"journal\":{\"name\":\"Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-06-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CSD.2003.1207718\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSD.2003.1207718","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

ABTools (B. Jean-Louis, 2001)提供了一个基于ANTLR和Java的开放环境，并提供了一些工具来设计和测试B语言的扩展。形式化的B方法是一种“基于模型的”形式化方法，类似于Z或VDM，但与其他方法不同的是，B允许从抽象规范到(自动生成)代码的增量过程开发。我们特别关注的事实是，这个过程是由一种且只有一种语言覆盖的:抽象机器符号(AMN)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

ABTOOLS: another B tool

ABTools (B. Jean-Louis, 2001) provides an open environment based on ANTLR and Java and provides some facilities for design and test an extension for the B language. The formal B method is a 'model-based' formal method like Z or VDM but, unlike others, B allows an incremental process development starting from abstract specification to (automatically generated) code. We are particularly concerned by the fact that this process is covered by one and only one language: the Abstract Machine Notation (AMN).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.

自引率

0.00%

发文量