C++ 中是否有用于正式规范的任何库/工具，例如JML对于 Java，和 Data Contracts在 C# 中？
编辑:
我不是在寻找更具体的东西，它实用且增加了一些值(value)/质量。
编辑2:
我不是在寻找 UML 工具，请参阅我提供的示例。
最佳答案
IBM Rational Rose UML 软件根据完整的 UML 模型生成 C++ 代码。
虽然从未使用过它，但我不是真的。仅简要介绍一下 UML 功能。
关于c++ - 正式规范，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4206922/