正式规范

Question

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

编辑：

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

EDIT2：

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

Answer 1

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

从来没有用过它，不是我的意思。只是简单的介绍，只有UML功能。

Answer 2

看看Larch / C ++：Larch/C++ Reference Manual

Answer 3

frama-c - 引人入胜，jml受到启发，我一直试图使用它，但无法让时间特定于我相信。但至少应该提供指向找到c ++工具的指针

Answer 4

如果您正在寻找一个简单的工具来轻松地执行UML，StarUML是一个开源（仅限Windows）项目。我使用过IBM Rational Rose和Microsoft Visio（带有UML扩展），我不得不说StarUML做得非常好。

我从未尝试过除了类图之外的其他任何东西，我的经验主要是非正式规范和小项目。它也有一些代码生成功能，但我从来没有尝试过它们。