B-Methodは従来のプログラミング言語に代わるものですか？

Question

聞いたことがあります b-method フランスで発明されています。 C ++やJavaなどの従来のプログラミング言語に代わるものですか、それとも異なる目的でまったく異なるものですか？

Answer 1

引用します bウェブサイト:

Bは正式な仕様方法であり、適切な言語のおかげで、仕様が必要とするプロパティの非常に正確な表現を可能にします。その後、これらのプロパティが明確で一貫性があり、矛盾していないことを完全に自動化した方法で証明できます。これにより、設計段階が進むにつれてこれらのプロパティが考慮されることを数学的に証明することができます。

したがって、この方法とそれに関連する証明により、（1）構造化され、一貫性があり、明確な明確な技術仕様とシステム仕様に到達することができます。

あなたの質問に答えるために：いいえ、B-Methodはプログラミング言語の代替品ではありません。これは、プログラムの青写真を作成し、作成したものが実際に青写真で説明されているように機能することを確認する方法です。あなたがこれを理解していないなら、あなたはそれを安全に忘れることができます。

Answer 2

いいえ、ウィキペディアの記事が言っているように、B-Methodは 正式な方法 プログラミング言語ではありません。ウィキペディアの正式な方法についても読むことができます。基本的に、開発中にアルゴリズムを説明および検証するために使用できます。