c – 正式规范

在C中是否有用于正式规范的库/工具,例如 JML for Java和 Data Contracts in C#？

编辑：

我不是在寻找比这更具体的东西,它使用起来很实用,并且增加了一些价值/质量.

EDIT2：

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

解决方法

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

从来没有使用它,不是我的意思.只是简单的介绍,只有UML功能.