Common Contracts
2 similar null contracts
Phillip HeideggerDecember 8th, 2011
The ideal software contract fully specifies the behavior of an oper- ation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to state and may not even be desired. In such cases, a partial specification, which describes se- lected aspects of the behavior, may be used to raise the confidence in an implementation of the operation to a reasonable level.
Phillip HeideggerNovember 25th, 2011
The ideal software contract fully specifies the behavior of an oper- ation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to state and may not even be desired. In such cases, a partial specification, which describes se- lected aspects of the behavior, may be used to raise the confidence in an implementation of the operation to a reasonable level.
