B-Method 是传统编程语言的替代品吗？
我听说B-Method是在法国发明的。它是 C++ 和 Java 等传统编程语言的替代品，还是具有不同用途的完全不同的东西？
I heard about B-Method which is invented in France. Is it an alternative to traditional programming languages like c++ and java or is it a completely different thing with different purposes?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
引用B-网站：
回答你的问题：不，B-Method 不能替代编程语言。这是一种为程序创建蓝图并验证您创建的东西是否确实按照蓝图所描述的方式工作的方法。如果你不明白这一点，你可以放心地忘记它。
Quote the B-website:
To answer your question: No, B-Method is not an alternative to programming languages. It’s a way of creating blueprints for programs and for verifying that the thing you created really works as described by the blueprints. If you don’t understand this you can safely forget about it.
不，正如维基百科文章所述，B-Method 是一种形式化方法，而不是编程语言。您也可以在维基百科上阅读形式化方法。基本上，它们可以在开发过程中用于描述和验证算法。
No, as the Wikipedia article says, B-Method is a Formal Method not a programming language. You can read up on Formal Methods on Wikipedia too. Basically, they can be used during development to describe and verify algorithms.