Postconditions Sign Video
No video uploaded yet.
Definition
A condition that the method guarantees will be true after it finishes executing, as long as the preconditions were true before it was called.
Source: Reges & Stepp, 2007
Example
Example sentence for context: "But postconditions are not the whole story."
Other Submissions
BROWSE
All
> Technology
> Computer Science
> Programming Languages
> Postconditions
* video needed
click here to zoom in