Es B-Método una alternativa a los lenguajes de programación tradicionales?

Question

B-Método que se inventó en Francia. Es una alternativa a los lenguajes de programación tradicionales como C ++ y Java o es una cosa completamente diferente con diferentes propósitos?

Answer 1

B-web :

  

B es un método especificación formal   que, gracias a un lenguaje adecuado,   permite expresiones de gran precisión   de las propiedades requeridas por   especificaciones. Entonces se puede probar en   de una manera totalmente automatizada que estos   propiedades no son ambiguas, coherente   y no son contradictorias. Esto entonces   nos permite demostrar matemáticamente que   estas propiedades se tienen en   cuenta de que el diseño de etapas de progreso.

     

Por lo tanto, este método y su   prueba asociada permitir:   especificaciones técnicas (1) Borre y   especificaciones del sistema a alcanzar   que están estructurados, coherente y   sin ambigüedades, y (2) el desarrollo de   software que es contractualmente   garantiza que sea libre de errores.

Para responder a su pregunta: No, B-método no es una alternativa a los lenguajes de programación. Es una manera de crear planos de los programas y de verificar que lo que ha creado funciona realmente como se describe por los planos. Si no se entiende esto se puede olvidar de manera segura al respecto.

Answer 2

No, como dice el artículo de Wikipedia, B-Método es un método formal no una lenguaje de programación. Puede leer sobre métodos formales en la Wikipedia también. Básicamente, se pueden utilizar durante el desarrollo de describir y verificar algoritmos.