Методологія та теорія програмування. Формальні методи розроблення комп’ютерних програм. Специфікація та верифікація розроблення програмних систем.