Si les bugs sont rares, c'est parce que faire une erreur ca coûte très cher - avec des jeux de masques qui coûtent actuellement dans les 50M d'euros, et qu'il faut refaire dès qu'il y a une correction à apporter, on fait gaffe. Le problème, c'est que info beaucoup de développeurs se disent que c'est pas très grave s'il y a des bugs, ils pourront toujours ressortir une nouvelle version.
Et ils ont raison, tu le démontres toi même :)
D'ailleurs faire des programmes prouvés c'est possible, c'est réalisé dans certains domaines critiques/importants. Et même par exemple dans les jeux vidéos pour console il y a très peu de bugs puisque l'éditeur sait très bien qu'il ne pourra pas patcher.
[^] # Re: Comme d'habitude....
Posté par gc . En réponse au journal Repenser les langages et le développement logiciel. Évalué à 2.
Et ils ont raison, tu le démontres toi même :)
D'ailleurs faire des programmes prouvés c'est possible, c'est réalisé dans certains domaines critiques/importants. Et même par exemple dans les jeux vidéos pour console il y a très peu de bugs puisque l'éditeur sait très bien qu'il ne pourra pas patcher.