C'est quoi, au fond, l'informatique - Société Informatique de France
C'est quoi, au fond, l'informatique - Société Informatique de France
C'est quoi, au fond, l'informatique - Société Informatique de France
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Notre cahier <strong>de</strong>s chargesUn algorithme doit être correct (faire ce qu’on lui <strong>de</strong>man<strong>de</strong>), et efficace(le faire <strong>au</strong> moindre coût).Mais, dans le mon<strong>de</strong> réel, cela ne suffit pas.Nous <strong>de</strong>vons construire <strong>de</strong>s systèmes qui soient✤ CorrectsConformes à leurs spécifications. Mais écrire <strong>de</strong>“bonnes” spécifications est un problème non trivial.✤ Efficaces✤ Sûrs✤ Convivi<strong>au</strong>x© 2010, S. Krakowiak Congrès Specif 2010 6
Change language