Ist B-Method eine Alternative zu herkömmlichen Programmiersprachen?

Question

Ich habe davon gehört B-Methode das wird in Frankreich erfunden. Ist es eine Alternative zu herkömmlichen Programmiersprachen wie C ++ und Java oder ist es mit unterschiedlichen Zwecken völlig anders?

Answer 1

Zitieren Sie die B-Website:

B ist eine formale Spezifikationsmethode, die dank einer angemessenen Sprache hoch genaue Ausdrücke der von Spezifikationen erforderlichen Eigenschaften ermöglicht. Man kann dann in vollautomatischer Weise beweisen, dass diese Eigenschaften eindeutig, kohärent und nicht widersprüchlich sind. Dies ermöglicht uns dann mathematisch beweisen, dass diese Eigenschaften im Fortschreiten des Entwurfs berücksichtigt werden.

Daher ermöglichen diese Methode und ihr zugehöriger Beweis: (1) Eindeutige technische Spezifikationen und Systemspezifikationen, die strukturiert, kohärent und eindeutig sind, und (2) die Entwicklung von Software, die vertraglich garantiert fehlerfrei ist.

Um Ihre Frage zu beantworten: Nein, B-Methode ist keine Alternative zu Programmiersprachen. Es ist eine Möglichkeit, Blaupausen für Programme zu erstellen und zu überprüfen, ob das, was Sie erstellt haben, wirklich funktioniert, wie von den Blaupausen beschrieben. Wenn Sie dies nicht verstehen, können Sie es sicher vergessen.

Answer 2

Nein, wie der Wikipedia-Artikel sagt, ist B-Methode a Formale Methode Keine Programmiersprache. Sie können sich auch über formelle Methoden zu Wikipedia informieren. Grundsätzlich können sie während der Entwicklung verwendet werden, um Algorithmen zu beschreiben und zu überprüfen.