CODEWITHSUNDEEP
c++specifications
ronag
ronag

Reputation: 51253

Formal Specification

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.

Upvotes: 7

Views: 1015

Answers (4)

user1250537
user1250537

Reputation:

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

Upvotes: 1

Ulrik Hørlyk Hjort
Ulrik Hørlyk Hjort

Reputation: 109

Have a look at Larch/C++ : Larch/C++ Reference Manual

Upvotes: 1

André Caron
André Caron

Reputation: 45224

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.

Upvotes: 0

Stephane Rolland
Stephane Rolland

Reputation: 39906

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.

Upvotes: 1

Related Questions