Computer science
Vorbedingung (Informatik)