1. 
   Postcondition
   In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simp...
   Found op http://en.wikipedia.org/wiki/Postcondition
   
   
2. 
   postcondition
   Environmental and state conditions that must be fulfilled after the execution of a test or test procedure....
   Found op http://www.imbus.de/glossar/
   
   

Tip: double click on a word to show its meaning.