{ "item_title" : "Modelagem em Event-B", "item_author" : [" Simon Kawuma", "Robert Mugonza "], "item_description" : "Este livro centra-se na utilizao do Event-B como m todo formal para a modelagem e verificao de software. O nosso estudo de casoo sistema de controlo de elevadores (ECS). Os requisitos do elevador s o traduzidos em modelos matem ticos Event-B. Utilizamos o RODIN para desenvolver, testar e verificar os modelos Event-B do ECS antes de podermos implementar o sistema num programa de software. A modelao em Event-Bt o vital que nos permite identificar requisitos em falta, erros no nosso projeto e comprovar que o modelo do sistema funcionarconforme o esperado, ao contr rio do que aconteceria se desenvolv ssemos um sistema imediatamente ap s recebermos os requisitos do cliente. Estes requisitos s o incompletos e amb guos. Com a utilizao do Event-B, reduzimos o custo do desenvolvimento do sistema, uma vez que os erros ser o sempre detetados nas fases iniciais do desenvolvimento. A transio da fase de requisitos para a fase de especificao formalum dos passos mais desafiantes. Na verdade, a construo de modelos iniciais a partir dos requisitos do sistema requer um elevado n vel de compet ncia e compet ncias pr ticas em modelao Event-B. Uma vez que n o existe um processo bem definido para orientar os engenheiros de sistemas, este livro fornece uma abordagem pr tica sobre como desenvolver bons sistemas de software.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/6/20/980/272/6209802729_b.jpg", "price_data" : { "retail_price" : "77.60", "online_price" : "77.60", "our_price" : "77.60", "club_price" : "77.60", "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