Является ли B-метод альтернативой традиционным языкам программирования?
Я слышал о B-методе, который изобретен во Франции. Является ли это альтернативой традиционным языкам программирования, таким как C++ и java, или это совершенно другая вещь с разными целями?
2 ответа
Цитата B-сайт:
B - это метод формальной спецификации, который, благодаря адекватному языку, позволяет получать высокоточные выражения свойств, требуемых спецификациями. Затем можно полностью автоматизированным способом доказать, что эти свойства однозначны, последовательны и не противоречат друг другу. Это затем позволяет нам математически доказать, что эти свойства принимаются во внимание на стадии разработки проекта.
Следовательно, этот метод и связанное с ним доказательство позволяют: (1) получить четкие технические спецификации и системные спецификации, которые являются структурированными, согласованными и однозначными, и (2) разработку программного обеспечения, которое по контракту гарантированно не будет иметь ошибок.
Чтобы ответить на ваш вопрос: Нет, B-метод не является альтернативой языкам программирования. Это способ создания чертежей для программ и проверки того, что созданная вами вещь действительно работает, как описано в чертежах. Если вы этого не понимаете, вы можете спокойно об этом забыть.
Нет, как говорится в статье в Википедии, B-метод - это формальный метод, а не язык программирования. Вы также можете прочитать о Формальных методах в Википедии. По сути, они могут использоваться во время разработки для описания и проверки алгоритмов.