Autores

3156
2594,104
3157
2594,104

Informações:

Publicações do PESC

Título
VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
7/2/1991
Resumo

Um dos principais problemas do desenvolvimento de sistemas é a existência de erros no software recém criado. Testes não resolvem este problema, pois nunca são completos e só servem para mostrar a existência de erros, e não a sua ausência.

O uso de métodos formais de especificação permite a verificação matemática da correção de um sistema, porém usuários finais não têm preparo para ler e validar estas especificações.

O VDM-TXT gera um texto em linguagem natural a partir de uma especificação formal, de tal forma que usuários possam validar o entendimento do analista de sistemas a respeito do problema a ser resolvido.

Abstract
Topo