La citation analysée
Pour traiter la programmation scientifiquement, il doit être possible de spécifier précisément les propriétés requises des programmes. La formalité n'est certainement pas une fin en soi. L'importance des spécifications formelles doit en fin de compte reposer dans leur utilité -, pour qu'ils soient utilisés ou non pour améliorer la qualité des logiciels ou pour réduire le coût de production et de maintien des logiciels.
Pour traiter la programmation scientifiquement, il doit être possible de spécifier précisément les propriétés requises des programmes. La formalité n'est certainement pas une fin en soi. L'importance des spécifications formelles doit en fin de compte reposer dans leur utilité -, pour qu'ils soient utilisés ou non pour améliorer la qualité des logiciels ou pour réduire le coût de production et de maintien des logiciels.