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

Question

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

Answer 1

Цитата B-Website:

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

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

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

Answer 2

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