Detalhes bibliográficos
| Ano de defesa: |
1993 |
| Autor(a) principal: |
Vega, Ítalo Santiago |
| 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-12122024-114008/
|
Resumo: |
A análise e uma das etapas fundamentais no desenvolvimento de um sistema, é também aquela para a qual menos se dispõe de ferramentas computacionais de apoio, principalmente por causa de sua natureza informal e abstrata. Este trabalho apresenta um ambiente de apoio parcial a etapa de análise, permitindo a elaboração de documentos estruturados de especificação e a criação de cenários de análise adequado para a avaliação de alternativas de projeto. Em linhas gerais, o ambiente propõe uma linguagem formal de alto nível, que procura equilibrar a liberdade de expressão com o rigor das especificações formais, permitindo a criação de documentos estruturados corretos e consistentes. Este documento pode ser exercitado e validado utilizando-se o modelo interno de execução, viabilizando a avaliação de diferentes alternativas de projeto. |
