Modelo Formal - Engenharia de Software

Curso: Técnico Informática Integrado ao Ensino Médio
Disciplina: Engenharia de Software
Professor: Mozara Dias Koehler

Modelo Formal

Camila Cristina Siegel¹
Lucas Piemontez² Marcos Felipe Friske dos Santos³

MÉTODOS FORMAIS

Os métodos formais definem matematicamente os elementos da linguagem descritiva, os quais permitem o tratamento de uma classe substancial de problemas de forma concisa.
Também tornam possível o uso de uma abordagem modular no desenvolvimento da descrição do sistema (decomposição + composição + reutilização) e devido a seu tratamento matemático, portanto, estes não possuem ambigüidades.
Esta forma de especificar sistemas permite estabelecer mecanismos de interação com, por exemplo, linguagens de programação.
Os métodos formais estabelecem mecanismos para escrever as decisões tomadas, ou seja, apenas oferecem mecanismos para explorar as consequências das decisões tomadas.
Tornando possível ao engenheiro de software especificar, desenvolver e verificar um sistema aplicando uma rigorosa notação matemática. E sendo a matemática uma ciência exata, é possível submeter qualquer descrição formal à prova, permitindo assim, verificar a sua consistência de equivalência semântica em diferentes níveis de abstração.
Estes métodos possuem uma base teórica para descrever com exatidão um grande numero de possibilidades de fenômenos relacionados com a transmissão e a transformação das informações - no nosso caso, para projetar sistemas de informação automáticos (usados em computadores).

IMPORTÂNCIA

Os métodos formais são importantes porque falhas podem ter um alto custo em sistemas críticos. E diversas coisas podem ocorrer quando há uma falha do software. Nestas situações é importante que os erros sejam descobertos antes que o software seja posto em operação. Os métodos formais reduzem drasticamente os erros de especificação e como consequência serve de base para um produto com poucos erros no momento que o cliente passa