Back to our problematic specificationLa spécification de Français est très floue si on ne se réfère pas explicitement à un corpus donné. Alors, évidemment, on peut prendre le corpus de 10 ans du Monde. Mais que faire des innombrables erreurs de toute sorte qui émaillent tout grand corpus ? On est exactement ramené au problème précédent. Prenons un défaut d'accord. Veut-on le repérer pour par exemple implémenter un correcteur grammatical ? Ou bien veut-on au contraire permettre au programme de s'adapter à l'évolution rapide de la langue ? Ces deux objectifs sont contradictoires. Il est difficile d'exprimer des spécifications en l'absence de requis bien compris.Specifications should be directed by requirements analysis. C'est une manière de tendre le miroir des méthodes formelles au client du logiciel. Le modélisateur ne doit pas se laisser entuber avec des requis imprécis, et doit se défendre de l'accusation de formalisme excessif en renvoyant le client à des manières rigoureuses de s'exprimer - où les méthodes formelles bien comprises sont incontournables. La leçon à tirer aussi, c'est que quand on n'a pas une idée précise de ce qu'on veut faire, il y a un grand risque de tout faire mal. |