É B-Método uma alternativa às tradicionais linguagens de programação?

Question

Eu ouvi sobre B-Método o que é inventado em França.É uma alternativa às tradicionais linguagens de programação como c++ e java, ou é uma coisa completamente diferente, com diferentes fins?

Answer 1

Citar o BEBSITE B.:

B é um método de especificação formal que, graças a uma linguagem adequada, permite expressões altamente precisas das propriedades exigidas pelas especificações. Pode -se provar de uma maneira totalmente automatizada que essas propriedades são inequívocas, coerentes e não são contraditórias. Isso então nos permite provar matematicamente que essas propriedades são levadas em consideração à medida que o projeto estágio progredir.

Portanto, esse método e sua prova associada permitem: (1) especificações técnicas claras a serem alcançadas, estruturadas, coerentes e inequívocas e (2) o desenvolvimento de software que é garantido contratualmente como sem falhas.

Para responder à sua pergunta: Não, o B-Metod não é uma alternativa às linguagens de programação. É uma maneira de criar projetos para programas e para verificar se a coisa que você criou realmente funciona, conforme descrito pelos projetos. Se você não entende isso, pode esquecer com segurança.

Answer 2

Não, como o artigo da Wikipedia diz, B-Método de Método Formal não é uma linguagem de programação.Você pode ler sobre Métodos Formais na Wikipédia também.Basicamente, eles podem ser usados durante o desenvolvimento de descrever e verificar algoritmos.