Le problème c'est que ce n'est pas l'objectif de la méthode B ! Si une méthode ou un langage était le meilleur dans tous les domaines de l'informatique ça se saurait. Mais non, on préfère faire des outils spécialisés car les problématiques sont aussi différentes que complexes et que si l'on veut des choses très fiables (i.e. prouvées formellement) il faut se concentrer sur des domaines précis, dans un premier temps.
Je ne pense pas que « B » ait vocation à faire de la preuve de protocole, ce qui ne signifie pas que c'est un mauvais outil, au contraire !
[^] # Re: On verra
Posté par vlamy . En réponse à la dépêche Core Infrastructure Initiative. Évalué à 2.
Le problème c'est que ce n'est pas l'objectif de la méthode B ! Si une méthode ou un langage était le meilleur dans tous les domaines de l'informatique ça se saurait. Mais non, on préfère faire des outils spécialisés car les problématiques sont aussi différentes que complexes et que si l'on veut des choses très fiables (i.e. prouvées formellement) il faut se concentrer sur des domaines précis, dans un premier temps.
Je ne pense pas que « B » ait vocation à faire de la preuve de protocole, ce qui ne signifie pas que c'est un mauvais outil, au contraire !