B est-Méthode alternative aux langages de programmation traditionnels?

Question

J'ai entendu parler B-Méthode qui est inventé en France. Est-il une alternative aux langages de programmation traditionnels comme c ++ et java ou est-ce une chose complètement différente avec des objectifs différents?

Answer 1

B-site :

  

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   Caractéristiques. On peut alors prouver   d'une manière entièrement automatisée que ceux-ci   propriétés sont sans ambiguïté, cohérente   et ne sont pas contradictoires. Cela alors   nous permet de prouver mathématiquement que   ces propriétés sont prises en   compte que les progrès des étapes de la conception.

     

Par conséquent, cette méthode et son   la 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 qui est contractuellement   garantie d'être sans défaut.

Pour répondre à votre question: Non, B-Méthode est pas une alternative aux langages de programmation. Il est un moyen de créer des plans pour les programmes et pour vérifier que la chose que vous avez créé fonctionne vraiment comme décrit par les plans. Si vous ne comprenez pas cela, vous pouvez en toute sécurité oublier.

Answer 2

Non, l'article de Wikipedia dit B-Méthode est une Méthode formelle pas langage de programmation. Vous pouvez lire sur les méthodes formelles sur Wikipédia aussi. En gros, ils peuvent être utilisés au cours du développement pour décrire et les algorithmes de vérification.