Jim Horning: "para tratar a programação cientificamente, deve ser poss...

"para tratar a programação cientificamente, deve ser possível especificar as propriedades necessárias dos programas precisamente. A formalidade certamente não é um fim em si. A importância das especificações formais deve, em última análise, descansar em sua utilidade - em se eles são usados para melhorar a qualidade do software ou para reduzir o custo de produção e manutenção de software."

--- Jim Horning

#Programação #Qualidade #Termina #Usado #Custo #Aprendendo #Propriedade #Importância #Programação de computadores #Formalidade #Programas #Programa #Utilitário #Mantendo #Linguagens de programação #Linguagem de computador #Formal #Trata #Especificações

Versão em inglês

To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.