Abstract
The Event-B method, and its tools, provide a way to formally model systems; Tasking Event-B is an extension facilitating code generation. We have recently begun to explore how we can configure the code generator, for deployment on different target systems. In this paper, we describe how templates can be used to avoid hard-coding 'boilerplate' code, and how to merge this with code generated from the formal model. We have developed a lightweight approach, where tags (i.e. tagged mark-up) can be placed in source templates. The template-processors we introduce may be of use to other plug-in developers wishing to merge a 'source' text file with some generated output. © 2014 Springer-Verlag.
Cite
CITATION STYLE
Edmunds, A. (2014). Templates for Event-B code generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8477 LNCS, pp. 284–289). Springer Verlag. https://doi.org/10.1007/978-3-662-43652-3_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
