Detalhes bibliográficos
| Ano de defesa: |
1996 |
| Autor(a) principal: |
Josivaldo Santos |
| 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: |
Instituto Tecnológico de Aeronáutica
|
| 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: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
|
Resumo: |
O processo de produção de software possui, genericamente, as fases de definição, de desenvolvimento e de verificação, entrega e manutenção. Dentro da fase de definição encontra-se a atividade de Análise de Requisitos de Software, que interliga os subsídios de software a nível de sistema de projeto de softwate.Tal análise compõe-se das etapas de reconhecimento do problema, avaliação e síntese, modelamento, epecificação e revisão. Todas essas etapas interdependentes e concorrentes. Enquanto a etapa de modelamento tende à informalidade, a etapa de especificação deve ser formal. Surge, assim. a seguinte questão: É possível gerar automaticamente uma especificação formal a partir de um dado modelo informal de um sistema? Tentando responder essa questão, este trabalho de pesquisa descreve mecanismos de mapeamento automático de Diagrmas de Fluxo de Dados para a linguagem de especificação formal LOTOS (Language Of Temporal Ordering Specification), ressaltando as vantagens da utilização desses mecanismos no processo de produção de software. |
