正式规格
是否有任何用于 C++ 正式规范的库/工具，例如 Java 的 JML和 C# 中的数据协定？
编辑：
我并不是在寻找更具体的东西，而是实用的东西，并增加了一些价值/质量。
EDIT2：
我不是在寻找 UML 工具，请参阅我提供的示例。
Is there any library/tool for formal specification in C++, such as JML for Java, and Data Contracts in C#?
EDIT:
I am not looking for something more specific than, it's practical to use and adds some value/quality.
EDIT2:
I am not looking for UML tools, please see the examples I have provided.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（4）
IBM Rational Rose UML 软件根据完整的 UML 模型生成 C++ 代码。
但从来没有使用过它，我的意思不是。仅简要介绍一下 UML 功能。
IBM Rational Rose UML software generates C++ code according to the complete UML model.
Never ever used it though, not really I mean. Just a brief look and only at UML functionalities.
看看 Larch/C++ ：Larch/C++ 参考手册
Have a look at Larch/C++ : Larch/C++ Reference Manual
frama-c - 令人着迷，受到 jml 的启发，我一直在尝试使用它，但无法抽出时间 - 特定于 ci 相信。但至少应该提供寻找 C++ 工具的指针
frama-c - fascinating, jml inspired, i keep trying to use it but can't make the time - specific to c i believe. but should at least provide pointers to find c++ tools
如果您正在寻找一个简单的工具来轻松进行 UML，StarUML 是一个开源 (仅 Windows）项目。我使用过 IBM Rational Rose 和 Microsoft Visio（带有 UML 扩展），我不得不说 StarUML 做得非常好。
除了类图之外，我从未尝试过其他任何东西，我的经验主要是针对非正式规范和小型项目。它还有一些代码生成功能，但我从未尝试过。
If you're looking for a simple tool to do UML without a fuss, StarUML is an open source (Windows only) project. I've used IBM Rational Rose and Microsoft Visio (with UML extension) and I have to say StarUML is just so nicely done.
I've never tried anything else than the class diagrams, and my experience is mainly for informal specifications and small projects. It also has some code generation features, but I've never tried them.