Abstrato

MÉTODOS FORMAIS: BENEFÍCIOS, DESAFIOS E DIREÇÃO FUTURA

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.

Isenção de responsabilidade: Este resumo foi traduzido usando ferramentas de inteligência artificial e ainda não foi revisado ou verificado

Indexado em

Google Scholar
Academic Journals Database
Open J Gate
Academic Keys
ResearchBible
CiteFactor
Electronic Journals Library
RefSeek
Hamdard University
Scholarsteer
International Innovative Journal Impact Factor (IIJIF)
International Institute of Organised Research (I2OR)
Cosmos

Veja mais