Beschreibung
Nowadays generate reliable patterns is a challenge in the software engineering field, so anti-patterns detection becomes an effective and objective concept to be sure of the correctness of the software. Detecting anti-patterns early in the design level will be a good chance to avoid greater losses in cost and time. Many problems will be avoided also. In our thesis we discuss these two types of informal problems on Insulin Infusion Pump (IIP).The proposed approach to formalize IIP is based on using Event-B. Finally, we could verify that the code generated from the proposed approach is correct and formal to use as a pattern. The accuracy of the proposed verification steps are suitable for using to any systems or medical device. The method ameliorates the proof percentage.
Autorenporträt
Eman K. Elsayed , Mathematics Dept., Faculty of Science, Al-Azhar University, Cairo, Egypt. Enas E. El Sharawy, Computer Dept., College of Education in Jubail, Imam Abdulrahman Bin Faisal University, Kingdom of Saudi Arabia.
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
