Detalhes bibliográficos
| Ano de defesa: |
1992 |
| Autor(a) principal: |
Silva, Paulo Sergio Muniz |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012025-160628/
|
Resumo: |
Torna-se necessário assegurar que uma especificação de software que descreve um domínio da aplicação seja validada antes de ser utilizada como base de uma implementação. Especificações informais são de difícil validação e especificações formais são de difícil leitura. Um modo de tornar mais fácil a validação de uma especificação é realizar a execução simulada da especificação descrita em uma linguagem de especificação. A execução da especificação proporciona uma observação que pode ser julgada pelo cliente. Esta dissertação descreve um enfoque para a validação de especificações através da execução simulada das especificações. Discute alguns aspectos importantes que surgem durante a fase de especificação. Sugere a formalização de uma linguagem de especificação que descreve especificações da análise estruturada. Finalmente, discute o projeto da Linguagem da Análise Estruturada. |
