Detalhes bibliográficos
| Ano de defesa: |
1988 |
| Autor(a) principal: |
Ana Maria Ambrosio |
| Orientador(a): |
Flávio Roberto Dias Velasco |
| Banca de defesa: |
Mário Jino,
Paulo Ouvera Simoni |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Nacional de Pesquisas Espaciais (INPE)
|
| Programa de Pós-Graduação: |
Programa de Pós-Graduação do INPE em Computação Aplicada
|
| Departamento: |
Não Informado pela instituição
|
| País: |
BR
|
| Resumo em Inglês: |
The operational approach for software development was suggested as an alternative to the conventional approach (specify, project and implement). One of the basic principles of the operational approach is the direct execution of the software requirements specification. In this work, the JSD approach ("Jackson System Development") is considered as an operational approach and, as such, a language and a scheme are proposed that make possible the execution of JSD specifications. It is also implemented a system that analyzes specifications and allows their execution. |
| Link de acesso: |
http://urlib.net/sid.inpe.br/mtc-m18@80/2009/03.27.19.17
|
Resumo: |
Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas. |
