« Méthodes de génie logiciel avec Ada/Première partie » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 73 :
==Notion de saut sémantique==
Le cahier des charges d'un problème informatique représente une description de haut niveau de la
solution souhaitée. Un programme est une réalisation particulière du cahier des charges, c'est-à-dire
une description de bas niveau d'une solution. La conception, c'est-à-dire le processus permettant de
passer d'une description à l'autre, est donc fondamentalement un ''saut sémantique''.
Dans un problème simple, un tel saut peut s'accomplir directement : des méthodes intermédiaires
sont donc inutiles. Au fur et à mesure que le problème se complique, la taille du saut sémantique
augmente. Rapidement, les limitations intrinsèques de nos capacités intellectuelles ne nous
permettent plus de maîtriser ce saut, et il ne devient plus possible de passer directement de l'énoncé
du problème à sa solution. Or que fait-on dans la vie courante lorsque l'on est en présence d'un saut
trop important pour pouvoir être effectué directement ? On le remplace par une succession de petits
sauts (communément appelée ''escalier''), individuellement faisables, et dont la somme permet
d'accomplir la descente souhaitée. De même en génie logiciel, il faudra définir des étapes de
conception intermédiaires destinées à abaisser graduellement le niveau sémantique depuis le niveau
du cahier des charges jusqu'à celui du langage de programmation.
==Surmonter la complexité==
==Caractérisation des méthodes==
| |||