Mona Batra, Amit Malik, Dr.
Existe uma procura crescente dos sistemas de informação actuais para incorporar a utilização de um maior grau de formalismo no processo de desenvolvimento. Os Métodos Formais consistem num conjunto de ferramentas e técnicas baseadas num modelo matemático e numa lógica formal que são utilizadas para especificar e verificar requisitos e projetos de sistemas de hardware e software. Este artigo apresenta uma análise detalhada dos métodos formais juntamente com os seus objetivos e benefícios seguidos de limitações. Este trabalho de investigação tem como objectivo ajudar os engenheiros de software a identificar a utilização de métodos formais nas diferentes fases do desenvolvimento de software, com especial referência à fase de requisitos.