Je ne suis pas sûr que ce soit approprié pour stackoverflow, mais je ne sais pas où demander d'autre. J'étudie la méthode B pour prouver la cohérence dans les spécifications des exigences, et j'ai un
J'ai entendu parler de B-Method qui est inventé en France. Est-ce une alternative aux langages de programmation traditionnels comme C++ et java ou est-ce une chose complètement différente avec des but