DocumentCode
514837
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
Volume
1
fYear
2010
fDate
6-7 March 2010
Firstpage
133
Lastpage
136
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETCS.2010.204
Filename
5459533
Link To Document