Title :
A Lightweight Framework for Code Generation from B Formal Specification
Author :
Liu, Xiaoli ; Fan, Rongqiang
Author_Institution :
Coll. of Inf. Sci. & Technol., Jinan Univ., Guangzhou, China
Abstract :
This paper presents a lightweight framework for executable code generation from B formal specification. First, the translation framework is introduced, including the translation strategy, process and implementation. Then the correctness and reusability of the framework is simply discussed. Finally, we introduce several kinds of support tools which can be used to implement the framework.
Keywords :
formal specification; program compilers; program interpreters; program verification; B formal specification; executable code generation; framework correctness; framework reusability; translation framework; Computer languages; Computer science; Computer science education; Educational institutions; Educational technology; Formal specifications; Information science; Optimization methods; Performance analysis; XML; B method; Code generation;
Conference_Titel :
Education Technology and Computer Science (ETCS), 2010 Second International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-6388-6
Electronic_ISBN :
978-1-4244-6389-3
DOI :
10.1109/ETCS.2010.204
