Дана робота присвячена дослідженню формату специфікації вимог до програмного забезпечення (ПЗ) та визначенню множин кількісних та якісних показників специфікації, корисних для визначення основних характеристик ПЗ, на основі чого побудовано математичну модель специфікації вимог до ПЗ. У статті визначено також залежності характеристик ПЗ від показників специфікації, які дали можливість побудувати математичні моделі основних характеристик ПЗ. Математичні моделі характеристик ПЗ показали, що для визначення характеристик на основі показників специфікації вимог до ПЗ слід вирішити задачу визначення взаємозв'язків між значеннями показників специфікації та значеннями характеристик ПЗ, а також визначення ступенів впливу показників специфікації в межах однієї характеристики.