c++ - 正式规范

Question

C++ 中是否有用于正式规范的任何库/工具，例如JML对于 Java，和 Data Contracts在 C# 中？

编辑:

我不是在寻找更具体的东西，它实用且增加了一些值(value)/质量。

编辑2:

我不是在寻找 UML 工具，请参阅我提供的示例。

Answer 1

IBM Rational Rose UML 软件根据完整的 UML 模型生成 C++ 代码。

虽然从未使用过它，但我不是真的。仅简要介绍一下 UML 功能。