DocumentCode
1572842
Title
ABTOOLS: another B tool
Author
Boulanger, Jean-Louis
Author_Institution
Univ. of Technol. of Compiegne, France
fYear
2003
Firstpage
231
Lastpage
232
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).
Keywords
Java; formal languages; formal specification; grammars; program compilers; program interpreters; tree data structures; ABTools; AMN; ANTLR; ANother Tool for Language Recognition; Abstract Machine Notation; B language; Java; abstract specification; automatically generated code; formal B method; model-based formal method; Commercialization; Computer languages; Concurrent computing; Error analysis; Java; Libraries; Rail transportation; Software safety; Software systems; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-1887-7
Type
conf
DOI
10.1109/CSD.2003.1207718
Filename
1207718
Link To Document