Navegação Computação por Assunto "VDM"
Resultados 1-1 de 1
-
Semântica e uma ferramenta para o método SADT
(1991) [Dissertação]A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes ...