Loading...
Please wait, while we are loading the content...
Similar Documents
Uncovering Hidden Contracts: The.NET Example
| Content Provider | CiteSeerX |
|---|---|
| Abstract | Can libraries written without explicit support for design by contract benefit from adding contracts? We studied classes from the.NET collections library for implicit contracts and assessed improvements that might result from making them explicit. Commercial relationships and business contracts, which formally express the rights and obligations binding a client and a supplier, provide the inspiration for design by contract software development methodology. Software contracts take the form of routine preconditions (obligations on the caller), postconditions (benefits to the caller), and class invariants (consistency constraints), written into the program itself. The design by contract methodology uses such contracts for building each software element. 1-3 This |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Net Collection Routine Precondition Class Invariant Contract Benefit Business Contract Net Example Contract Methodology Software Contract Hidden Contract Implicit Contract Commercial Relationship Consistency Constraint Explicit Support Contract Software Development Methodology Software Element |
| Content Type | Text |
