Uma contribuição para o teste de especificações SDL: aspectos teóricos e empíricos
Atividades sistemáticas e rigorosas no processo de desenvolvimento são fundamentais para a obtenção de produtos de software de qualidade, entre elas a utilização de técnicas formais. Apesar do rigor estabelecido pelo uso dessas técnicas nas fases iniciais de desenvolvimento, a qualidade da especific...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2004
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09122014-094349/ |