Menu
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.
625
Formal specification has a precise mathematical semantics which in turn support formal verification. Formal verification allows mathematical rigorous proofs that specifications are according to the objectives, code is according to the specification, and code produces only the results that are required.
Formal specification of data and algorithm properties is a well-known technique, e.g. in software engineering, mostly used for verification of (simple) programs or specification of abstract data types.
The formal specification of a programming language is written in a form ready for machine execution or written using a formal mathematical notation, as defined in [46]. On the other hand, an informal specification can be expressed through a model such as UML or in natural language [47] . ...
Formal specifications have several advantages over informal specifications. They can be mathematically precise. They tend to be more complete than informal specifications, because the formality tends to highlight any incompleteness, which might otherwise go unnoticed.
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.
107
Have a look at Larch/C++ : Larch/C++ Reference Manual
21
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
