Метою дисципліни є  надання студентам знань щодо методів виявлення та формалізації вимог до програмного забезпечення, згідно потреб та вимогам замовника.

     Студентів навчають аналізувати  потреби різного призначення, аналізувати цілі,  приклади використання, створювати  моделі  представлення вимог. У дисципліні вивчаються: загальні вимоги до програмного забезпечення; типи вимог та їх атрибути,  процеси виявлення вимог, їх специфікація, способи контролю на повноту та їх несуперечність.

     Особлива увага приділяється практичному застосуванню текстових та графічних нотацій на етапі розробки документів відповідно до стандартів, визначення конфліктів та протиріч; управління вимогами;  інтеграція аналізу вимог і процесу розробки програмного забезпечення .