EB2ALL: An Automatic Code Generation Tool

Abstract

The most important step in the software-development life-cycle is the code implementation. This chapter presents a design architecture of an automatic code generation tool, which can generate code into several programming languages (C, C++, Java and C#). This tool is a collection of plug-ins, which are used for translating the Event-B formal specifications into multiple programming languages. The translation tool is rigorously developed with safety properties preservation. This is an essential tool, which supports code implementation phase of our proposed development life-cycle methodology for developing the critical systems.