Informatik
Vorbedingung (Informatik)