Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
|
gptkbp:developedBy |
gptkb:Microsoft_Research
|
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 |
C# Code Contracts
|
gptkbp:integratesWith |
gptkb:.NET_Framework
|
gptkbp:lastStableRelease |
1.10.12098.2
|
gptkbp:license |
gptkb:Microsoft_Research_License
|
gptkbp:programmingLanguage |
gptkb:C#
|
gptkbp:provides |
documentation generation
runtime checking static checking design-by-contract features |
gptkbp:repository |
https://github.com/Microsoft/CodeContracts
|
gptkbp:status |
discontinued
|
gptkbp:usedFor |
specifying object invariants
specifying postconditions specifying preconditions |
gptkbp:bfsParent |
gptkb:Design_by_Contract
|
gptkbp:bfsLayer |
7
|