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 buts différents?B-Method est-il une alternative aux langages de programmation traditionnels?
Citer le B-website:
B est une méthode de spécification formelle qui, grâce à un langage adéquat, permet des expressions très précises des propriétés requises par spécifications. On peut alors prouver en de manière entièrement automatisée que ces propriétés sont non ambiguës, cohérentes et ne sont pas contradictoires. Ce alors nous permet de prouver mathématiquement que ces propriétés sont prises en compte à mesure que les étapes de conception progressent.
Par conséquent, cette méthode et sa preuve associée permettent: (1) Les spécifications techniques claires et spécifications du système à atteindre qui sont structurées, cohérentes et sans ambiguïté, et (2) Le développement de logiciel est contractuellement garanti sans défaut.
Pour répondre à votre question: Non, B-Method n'est pas une alternative aux langages de programmation. C'est une façon de créer des plans pour des programmes et de vérifier que la chose que vous avez créée fonctionne vraiment comme décrit par les plans. Si vous ne comprenez pas cela, vous pouvez l'oublier en toute sécurité.
Non, comme le dit l'article Wikipedia, B-Method est un Formal Method pas un langage de programmation. Vous pouvez aussi lire sur les méthodes formelles sur Wikipedia. Fondamentalement, ils peuvent être utilisés pendant le développement pour décrire et vérifier les algorithmes.