... >> Computer Science >> Programming Languages >> Postconditions
Highest Rated Sign
Nobody has posted a sign 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."