{"title":"JBTools:一个形式化B方法的实验平台","authors":"Jean-Christophe Voisinet","doi":"10.1145/638476.638504","DOIUrl":null,"url":null,"abstract":"The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2.","PeriodicalId":120999,"journal":{"name":"PPPJ/IRE","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"JBTools: an experimental platform for the formal B method\",\"authors\":\"Jean-Christophe Voisinet\",\"doi\":\"10.1145/638476.638504\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2.\",\"PeriodicalId\":120999,\"journal\":{\"name\":\"PPPJ/IRE\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-06-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"PPPJ/IRE\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/638476.638504\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"PPPJ/IRE","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/638476.638504","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
JBTools: an experimental platform for the formal B method
The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
