Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| gptkbp:discontinued |
true
|
| gptkbp:documentation |
https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts
|
| gptkbp:firstReleased |
2009
|
| gptkbp:integratesWith |
gptkb:Visual_Studio
|
| gptkbp:latestReleaseVersion |
2015
1.10.20606.1 |
| gptkbp:license |
gptkb:Microsoft_Public_License
|
| gptkbp:platform |
gptkb:.NET_Framework
|
| gptkbp:programmingLanguage |
gptkb:C#
|
| gptkbp:provides |
gptkb:design_by_contract
documentation generation runtime checking static checking |
| gptkbp:repository |
https://github.com/Microsoft/CodeContracts
|
| gptkbp:usedFor |
specifying object invariants
specifying postconditions specifying preconditions |
| gptkbp:bfsParent |
gptkb:Spec#
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Code Contracts
|