Add to ORKGInternational audienceThis paper presents a translation tool that automatically generates efficient target programming language code (C, C++, Java and C#) from Event-B formal specification related to the analysis of complex problems. This tool is a collection of plug-ins, which are used for translating Event-B formal specifications into different kinds of programming languages. The translation tool is rigorously developed with safety properties preservation. The results detailed in this paper are an architecture of the translation process, to generate a target language code from Event-B models using Event-B grammar through syntax-directed translation, code scheduling architecture and verification of an automatic generated code. The translat...
International audienceEvent-B is a tool-supported specification language that can be used e.g. for m...
htmlabstractAutomatically generating program translators from source and target language specificati...
International audienceWe report on our progress-to-date in implementing a software de- velopment env...
Making the step from Event-B to code is a process that can be aided through automatic code generatio...
Ensuring and verifying the properties of safety- and security-critical software is paramount. Event-...
International audienceFormal methods are very efficient techniques for formal verification of a spec...
The original publication is available at www.springerlink.com.International audienceThis article pre...
Abstract. We present an approach to generating program code from Event-B models that is correct-by-c...
As programming languages become more and more diversified, there is an increasing demand to transla...
The Event-B method is a formal modelling approach; our interest is the final step, of generating cod...
This paper presents the results of the RNTL BOM project, which aimed to develop an approach to gene...
ABSTRACT In this paper we proposed the logical correct path to implement automatically any algorith...
ABSTRACT Pseudocode is an artificial and informal language that helps developers to create algorithm...
Scheduled Event-B (SEB) augments Event-B with a scheduling language to make the control flow in an E...
Given a complete, formal description of the semantics of a programming language, it should be possib...
International audienceEvent-B is a tool-supported specification language that can be used e.g. for m...
htmlabstractAutomatically generating program translators from source and target language specificati...
International audienceWe report on our progress-to-date in implementing a software de- velopment env...
Making the step from Event-B to code is a process that can be aided through automatic code generatio...
Ensuring and verifying the properties of safety- and security-critical software is paramount. Event-...
International audienceFormal methods are very efficient techniques for formal verification of a spec...
The original publication is available at www.springerlink.com.International audienceThis article pre...
Abstract. We present an approach to generating program code from Event-B models that is correct-by-c...
As programming languages become more and more diversified, there is an increasing demand to transla...
The Event-B method is a formal modelling approach; our interest is the final step, of generating cod...
This paper presents the results of the RNTL BOM project, which aimed to develop an approach to gene...
ABSTRACT In this paper we proposed the logical correct path to implement automatically any algorith...
ABSTRACT Pseudocode is an artificial and informal language that helps developers to create algorithm...
Scheduled Event-B (SEB) augments Event-B with a scheduling language to make the control flow in an E...
Given a complete, formal description of the semantics of a programming language, it should be possib...
International audienceEvent-B is a tool-supported specification language that can be used e.g. for m...
htmlabstractAutomatically generating program translators from source and target language specificati...
International audienceWe report on our progress-to-date in implementing a software de- velopment env...