Title :
ABTOOLS: another B tool
Author :
Boulanger, Jean-Louis
Author_Institution :
Univ. of Technol. of Compiegne, France
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;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207718
