Encore faut-il:
1- arriver a écrire la spec
2- que l’écriture de la spec soit correcte
Pour avoir essaye d’écrire du code avec la méthode B, je peux te garantir que c'est pas demain la veille que tous les logiciels seront écrits avec des méthodes formelles.
[^] # Re: Implémentation prouvée
Posté par djano . En réponse au journal OpenSSL est mort, vive (le futur) LibreSSL. Évalué à 2.
Encore faut-il:
1- arriver a écrire la spec
2- que l’écriture de la spec soit correcte
Pour avoir essaye d’écrire du code avec la méthode B, je peux te garantir que c'est pas demain la veille que tous les logiciels seront écrits avec des méthodes formelles.