Tradução automática de modelos informais para especificações formais de sistemas de software
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 d...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Instituto Tecnológico de Aeronáutica
1996
|
| Subjects: | |
| Online Access: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639 |