前端之家收集整理的这篇文章主要介绍了
c – 正式规范，
前端之家小编觉得挺不错的，现在分享给大家，也给大家做个参考。
在C中是否有用于正式规范的库/工具,例如
JML for Java和
Data Contracts in C#？
编辑：
我不是在寻找比这更具体的东西,它使用起来很实用,并且增加了一些价值/质量.
EDIT2：
我不是在寻找UML工具,请参阅我提供的示例.
IBM Rational Rose UML软件根据完整的UML模型
生成C
代码.
从来没有使用它,不是我的意思.只是简单的介绍,只有UML功能.
原文链接：https://www.f2er.com/c/118953.html
