Курс «Моделювання та аналіз програмного забезпечення» розкриває методи створення моделей програмних систем і дослідження їх характеристик на різних етапах життєвого циклу. Студенти вивчають підходи до аналізу вимог, формальних методів моделювання, тестування й оцінювання якості ПЗ, набуваючи практичних навичок використання інструментів для підвищення надійності та ефективності програмних рішень.
Обов'язковий компонент. Освітня програма "Інженерія програмного забезпечення" першого (бакалаврського) рівня вищої освіти