Detecting Anti-Pattern in Event-B
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
55.90 €
Produktdetails
Produktinformationen zu „Detecting Anti-Pattern in Event-B “
Klappentext zu „Detecting Anti-Pattern in Event-B “
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.
Bibliographische Angaben
- Autoren: Enas El-Sharawy , Eman Karam , Asmaa Abdel Moniem
- 2018, 144 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 6139852315
- ISBN-13: 9786139852314
Sprache:
Englisch
Kommentar zu "Detecting Anti-Pattern in Event-B"
0 Gebrauchte Artikel zu „Detecting Anti-Pattern in Event-B“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Detecting Anti-Pattern in Event-B".
Kommentar verfassen