Действительно ли B-метод является альтернативой традиционным языкам программирования?
Я слышал о B-методе, который изобретен во Франции. Действительно ли это - альтернатива традиционным языкам программирования как C++ и Java, или действительно ли это - совершенно другая вещь с различными целями?
2 ответа
Цитируйте B-сайт :
B - это формальный метод спецификации , который благодаря адекватному языку позволяет создавать высокоточные выражения {{1 }} свойств, требуемых спецификациями . Затем можно доказать полностью автоматизированным способом, что эти свойства однозначны, согласованы и не противоречат друг другу. Это затем позволяет нам математически доказать, что эти свойства учитываются на стадии проектирования.
Таким образом, этот метод и связанное с ним доказательство позволяют: (1) Четкие технические спецификации и системные спецификации, которые должны быть достигнуты , которые структурированы, последовательный и недвусмысленный, и (2) разработка программного обеспечения, которое по условиям контракта гарантированно будет безошибочным.
Чтобы ответить на ваш вопрос: Нет, B-Method не является альтернативой языкам программирования. Это способ создания чертежей программ и проверки того, что созданная вами вещь действительно работает так, как описано в чертежах. Если вы этого не понимаете, можете спокойно об этом забыть.
Попробуйте встроенную утилизацию содержимого, однако я должен проверить это:
Response.ContentType = "application/pdf";
Response.AppendHeader("content-disposition", "inline; filename=" + name );
Дает вам визуальный дизайн проекта
-121--2889037-Нет, как говорится в статье Википедии, B-Method является формальным методом , а не языком программирования. Вы также можете прочитать о формальных методах в Википедии. В основном они могут использоваться во время разработки для описания и проверки алгоритмов.