ОПП № 3: ІНФОРМАТИКА (122 Комп’ютерні науки) (бак.) [2022] - Омельчук Людмила Леонідівна

РНП на 2022/2023 навчальний рік

ВК.2.02 Методи специфікації та верифікації програм

Вибірковий блок "Теорія та технологія програмування"

Кількість кредитів ECTS: 4

Форми заключного контролю: залік

Обсяг у годинах:

Click!

всього - 120 год.
всього навчальних - 44 год.
лекції - 28 год.
семінарські - 14 год.
консультації - 2 год.
cамостійна робота - 76 год.

Компетентності:

СК17.2 Здатність формулювати та забезпечувати вимоги щодо якості програмного забезпечення у відповідності з вимогами, технічним завданням та стандартами

Програмны результати навчання (ПРН):

ПРН18.2 Застосовувати підходи щодо оцінки та забезпечення якості програмного забезпечення
ПРН20.2 Вибирати вихідні дані для проектування, керуючись формальними методами опису вимог та моделювання