c++

2018-05-30 05:48:00

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.

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 ++参考手册

frama-c - fascinating, jml inspired, i keep trying to use it but can't make the time - specific to ci believe. but should at least provide pointers to find c++ tools

链接地址: http://www.djcxy.com/p/3652.html

上一篇: jQuery + tablesorter + IE7 +大型表格=地狱

下一篇: C ++