Passer moins de temps sur les tests de softwares, pour approfondir et optimiser leur programmation en amont : telle est l'approche qui devrait assurer la mise sur le marché de logiciels sans faille.
...
L'Atelier
http://www.atelier.fr/securite/10/17072008/theorie-des-types-garantit-logiciel-sans-bug-36891-.html
17 juil. 2008
Quand le logiciel est comme un théorème à prouver
Inscription à :
Publier les commentaires (Atom)
Pourquoi Linux ?
Aucun commentaire:
Enregistrer un commentaire