b) předpoklady, ze kterých systém vychází, byly dostatečně zdokumentovány.