Ferramenta para execução simulada de especificações de software (1992)
- Authors:
- Autor USP: SILVA, PAULO SERGIO MUNIZ - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 14.01.1992
-
ABNT
SILVA, Paulo Sérgio Muniz. Ferramenta para execução simulada de especificações de software. 1992. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1992. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012025-160628/pt-br.php. Acesso em: 27 dez. 2025. -
APA
Silva, P. S. M. (1992). Ferramenta para execução simulada de especificações de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012025-160628/pt-br.php -
NLM
Silva PSM. Ferramenta para execução simulada de especificações de software [Internet]. 1992 ;[citado 2025 dez. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012025-160628/pt-br.php -
Vancouver
Silva PSM. Ferramenta para execução simulada de especificações de software [Internet]. 1992 ;[citado 2025 dez. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012025-160628/pt-br.php
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
