High Quality Implementation for Automatic Generation C# Code by Event-B Pattern

Eman K Elsayed, Enas El-Sharawy
2014 International Journal of Software Engineering & Applications  
In this paper we proposed the logical correct path to implement automatically any algorithm or model in verified C# code. Our proposal depends on using the event-B as a formal method. It is suitable solution for un-experience in programming language and profession in mathematical modeling. Our proposal also integrates requirements, codes and verification in system development life cycle. We suggest also using event-B pattern. Our suggestion is classify into two cases, the algorithm case and the
more » ... model case. The benefits of our proposal are reducing the prove effort, reusability, increasing the automation degree and generate high quality code. In this paper we applied and discussed the three phases of automatic code generation philosophy on two case studies the first is "minimum algorithm" and the second one is a model for ATM.
doi:10.5121/ijsea.2014.5104 fatcat:valq2kd6frhh5dqvumke2iksam