{ "item_title" : "Modélisation en Event-B", "item_author" : [" Simon Kawuma", "Robert Mugonza "], "item_description" : "Cet ouvrage se concentre sur l'utilisation d'Event-B en tant que m thode formelle pour la mod lisation et la v rification de logiciels. Notretude de cas porte sur le syst me de commande d'ascenseur (ECS). Les exigences relativesl'ascenseur sont traduites en mod les math matiques Event-B. Nous utilisons RODIN pour d velopper, tester et v rifier les mod les Event-B de l'ECS avant de pouvoir impl menter le syst me dans un programme logiciel. La mod lisation Event-B est si essentielle qu'elle nous permet d'identifier les exigences manquantes, les erreurs dans notre conception et de prouver que le mod le du syst me fonctionnera comme pr vu, contrairementce qui se passerait si nous d veloppions un syst me imm diatement apr s avoir re u les exigences du client. Ces exigences sont incompl tes et ambigu s. Gr cel'utilisation d'Event-B, nous r duisons le co t de d veloppement du syst me, car les erreurs seront toujours d tect es d s les premi restapes du d veloppement. Le passage de la phase des exigencesla phase de sp cification formelle est l'une destapes les plus difficiles. En effet, la construction de mod les initiauxpartir des exigences du syst me n cessite un haut niveau de comp tence et des comp tences pratiques en mod lisation Event-B. Comme il n'existe pas de processus bien d fini pour guider les ing nieurs syst me, cet ouvrage propose une approche pratique sur la mani re de d velopper de bons syst mes logiciels.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/6/20/989/743/6209897436_b.jpg", "price_data" : { "retail_price" : "78.00", "online_price" : "78.00", "our_price" : "78.00", "club_price" : "78.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details