Describir: Efektívna kontrola správnosti požiadaviek pri vývoji softvéru