Postcondition

A postcondition is a fact that must always be true just after the execution of some section of code. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code. Related: Design by contract, Precondition

 

<< PreviousWord BrowserNext >>
mvt
albert iii, margrave of brandenburg
israel defense forces
franco maria malfatti
medusa
name server
medea
argus
icarus
limit (category theory)
svs
xa
uss mustin
mustin family
playwright
solidarity electoral action
polish peasant party
labor union (poland)
marisil
uw
caucasus
wilhelm busch
quirinal hill
stephen langton
design by contract
precondition
time crisis
umjammer lammy
performance testing
automated testing
communications decency act
hide and seek
bellingham, washington
orientalism
market socialism
crack
adrian of nicomedia
jfk (movie)
fascist manifesto
compass
bernoulli's equation
list of computer graphics terms
list of computer hardware terms
list of antenna terms