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
|
https://www.w3.org/2000/01/rdf-schema#label |
Code Contracts
|
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 |
6
|