Viewing topic: Postconditions

See sub-topics for Postconditions ... >> Computer Science >> Programming Languages >> Postconditions

Highest Rated Sign

No video has been submitted for this term

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."

  • 2:27am 5/15/2015

    User: reinlessjacklin

    Post count: 368

    It’s difficult to find knowledgeable people in this particular topic, but you sound like you know what you’re talking about! Thanks. Find All Outdoor News here. Best Swimming Goggles