C ++
C ++中是否有正式规范的库/工具，如JML for Java和C＃中的数据合同？
编辑：
我不是在寻找更具体的东西，而是使用并增加一些价值/质量。
EDIT2：
我不在寻找UML工具，请参阅我提供的示例。
根据完整的UML模型，IBM Rational Rose UML软件生成C ++代码。
从来没有使用它，但不是我的意思。 只是一个简短的看看，只在UML功能。
看看Larch / C ++：Larch / C ++参考手册
frama-c - 引人入胜，jml灵感来源，我一直试图使用它，但不能让时间特定于ci相信。 但至少应提供查找c ++工具的指针
链接地址: http://www.djcxy.com/p/3651.html上一篇: c++