Является ли B-метод альтернативой традиционным языкам программирования?

Question

Я слышал о B-методе , который изобретен во Франции. Это альтернатива традиционным языкам программирования, таким как c ++ и java, или это совершенно другая вещь с разными целями?

Answer 1

Цитировать B-сайт :

B - метод формальной спецификации который, благодаря адекватному языку, позволяет очень точные выражения свойств, требуемых технические характеристики. Затем можно доказать в полностью автоматизированный способ, которым эти свойства однозначные, связные и не противоречат. Это тогда позволяет нам математически доказать, что эти свойства учитываются учитывать как этапы проектирования.

Следовательно, этот метод и его связанные доказательства позволяют: (1) Четкие технические характеристики и технические характеристики системы, которые должны быть достигнуты которые структурированы, последовательны и и (2) развитие программное обеспечение, которое по контракту гарантированно будет безошибочным.

Чтобы ответить на ваш вопрос: Нет, B-метод не является альтернативой языкам программирования. Это способ создания чертежей для программ и проверки того, что созданное вами действительно работает, как описано в чертежах. Если вы этого не понимаете, вы можете спокойно об этом забыть.

Answer 2

Нет, как говорится в статье в Википедии, B-метод - это Формальный метод , а не язык программирования. Вы также можете прочитать о Формальных методах в Википедии. По сути, они могут использоваться во время разработки для описания и проверки алгоритмов.