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