正式规范

ron*_*nag 7 c++ specifications

在C++中是否有用于正式规范的库/工具,例如JML for Java和C#中的数据契约

编辑:

我不是在寻找比这更具体的东西,它实用,并增加了一些价值/质量.

EDIT2:

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

Ste*_*and 1

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

但从来没有使用过它,我的意思不是。仅简要介绍一下 UML 功能。