Bonjour à vous tous,
alors voilà, il y à quelques jours j'ai du défendre mon projet en programmation (un jeu de Reversi en pascal compilable gpc/fpc avec gestion stats,IA basique,...) et bon je me suis fait descendre sur les invariants et les spécifications du code ...J'ai remarqué qu'ils attachaients beaucoup plus d'importance à cela qu'aux algos en eux-meme...
alors voila comme je ne suis pas super bon au niveau des spécifications et invariants, j'aimerai savoir si vous n'avez pas de la doc exhaustive à mon syllabus...car 2 sources valent mieux qu'une ...merci
pour rappel : spécification = Préconditions,Postconditions,Data,Input,output,But.
invariant = commentaire d'une boucle
Partager