文章基本信息

标题：High Quality Implementation for Automatic Generation C# Code by Event-B Pattern
本地全文：下载
作者：Eman K Elsayed ; Enas El-Sharawy
期刊名称：International Journal of Software Engineering & Applications (IJSEA)
印刷版ISSN：0976-2221
电子版ISSN：0975-9018
出版年度：2014
卷号：5
期号：1
页码：43
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：In this paper we proposed the logical correct path to implement automatically any algorithm or model inverified C# code. Our proposal depends on using the event-B as a formal method. It is suitable solution forun-experience in programming language and profession in mathematical modeling. Our proposal alsointegrates requirements, codes and verification in system development life cycle. We suggest also usingevent-B pattern. Our suggestion is classify into two cases, the algorithm case and the model case. Thebenefits of our proposal are reducing the prove effort, reusability, increasing the automation degree andgenerate high quality code. In this paper we applied and discussed the three phases of automatic codegeneration philosophy on two case studies the first is “minimum algorithm” and the second one is a modelfor ATM.
关键词：Formal method; Event-B; Pattern; Code generation; RSM (Resource Standard Metrics)