Key points are not available for this paper at this time.
Nos últimos anos, tem havido uma crescente preocupação com o alto custo do desenvolvimento e manutenção de software. A reação usual a isso tem sido administrativa—organizar melhor as atividades de programação (a Equipe de Programação Chefe); melhorar a estrutura das linguagens de programação e, assim, esperar que os programas escritos nelas também melhorem; ou propor que “especificações” formais sejam desenvolvidas para um programa antes que a codificação em alguma linguagem de programação comece.
Cheatham et al. (qui,) estudaram essa questão.