Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modelagem em Event-B: Uma Abordagem Prática para Engenheiros de Sistemas

Modelagem em Event-B: Uma Abordagem Prática para Engenheiros de Sistemas

Kawuma, Simon
Mugonza, Robert

Paperback

General Computers

ISBN10: 6209802729
ISBN13: 9786209802720
Publisher: Edicoes Nosso Conhecimento
Published: Apr 13 2026
Pages: 100
Weight: 0.32
Height: 0.24 Width: 6.00 Depth: 9.00
Language: Portuguese
Este livro centra-se na utilização do Event-B como método formal para a modelagem e verificação de software. O nosso estudo de caso é o 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 modelação em Event-B é tão vital que nos permite identificar requisitos em falta, erros no nosso projeto e comprovar que o modelo do sistema funcionará conforme 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 utilização 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 transição da fase de requisitos para a fase de especificação formal é um dos passos mais desafiantes. Na verdade, a construção de modelos iniciais a partir dos requisitos do sistema requer um elevado nível de competência e competências práticas em modelação 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.

Also from

Kawuma, Simon

View All

Also in

General Computers

View All