Modelagem em Event-B: Uma Abordagem Prática para Engenheiros de Sistemas DE
-
- Portugiesisch ausgewählt
58,99 €
UVP
66,90 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.04.2026
Verlag
Edições Nosso ConhecimentoSeitenzahl
100
Maße (L/B/H)
22/15/0,7 cm
Gewicht
167 g
Sprache
Portugiesisch
ISBN
978-620-9-80272-0
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice