''Vorbedingungen'' sind in der objektorientierten Softwareentwicklung ein wesentlicher Bestandteil des „Design by Contract“.
''[[Informatik]]:'' Voraussetzung, die gegeben sein muss, damit die [[Ausführung]] einer [[Funktion]] ein [[definiert]]es [[Ergebnis]] [[erbringt]]