Software Design by Contract Pattern

From GM-RKB
Jump to navigation Jump to search

A Software Design by Contract Pattern is a software design pattern based on code contracts (formal, precise and verifiable interface specifications for software components).



References

2014

2013

  • http://research.microsoft.com/en-us/projects/contracts/
    • Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.

       Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. The benefits of writing contracts are: