代码之家 › 专栏 › 技术社区 › ronag

形式规范

specifications c++

7

ronag · 技术社区 · 14 年前

在C++中是否有用于标准规范的库/工具,如 JML 对于Java,以及 Data Contracts 在C#?

编辑:

我并不是在寻找比它更具体的东西,它的实际使用和增加一些价值/质量。

编辑2:

我不是在寻找UML工具,请看我提供的例子。

4 回复 | 直到 14 年前

1

Stephane Rolland 14 年前

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

但从没用过,我不是说真的。只是简单的看一下,并且只看一下UML的功能。

2

1

U. Hjort 14 年前

3

1

user1250537user1250537 13 年前

frama-c-迷人的,受jml启发的,我一直在尝试使用它,但不能让时间特定于c我相信。但至少应该提供指针来查找c++工具

4

0

André Caron 14 年前

如果你想找一个简单的工具来做UML而不必大惊小怪, StarUML 是一个开源(仅限Windows)项目。我使用了IBM Rational Rose和Microsoft Visio(带有UML扩展),我不得不说StarUML做得非常好。

我从来没有尝试过类图以外的任何东西,我的经验主要用于非正式规范和小项目。它也有一些代码生成功能,但我从未尝试过。