(1) Asiakirjan, joka selvästi ja täsmällisesti kuvaa kunkin ohjelmiston ja ulkoisten liityntäkohtien olennaiset vaatimukset (toiminnot, suorituskyky, suunnittelu rajoitukset ja laatuominaisuuksia). Kunkin vaatimus on määritelty tällaisessa siten, että sen saavuttaminen voidaan objektiivisesti tarkastettava määrittämän menetelmän esimerkiksi, tarkastus, demonstrointi, analyysi, tai testi. Kutsutaan ulkoisen eritelmien Jolloinkin. Kontrasti sisäisen eritelmiä (suunnittelueritelmistä)