-
Anglický jazyk
Detecting Anti-Pattern in Event-B
Autor: Enas El-Sharawy
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... Viac o knihe
Na objednávku
51.75 €
bežná cena: 57.50 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2018
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9786139852314
Nemecký jazyk 
