Методичні вказівки містять варіанти завдань лабораторних робіт і приклад виконання з дисципліни "Формальні методи програмної інженерії" Призначено для підготовки бакалаврів за напрямом підготовки 6.050103 - "Програмна інженерія", 6.050103 - " Інженерія програмного забезпечення " денної, заочної та дистанційної форм навчання. ЗМІСТ 1. №1 Процес створення програмного забезпечення ................4 2. №2 Вимоги до програмного забезпечення……………………….…………… 24 3. №3 Прототипування програмних систем …………………………………………41 4. №4 Формальні специфікації ПЗ ………..………………...…………………………… 54 5. №5 Проектування систем реального часу …………………………………… 67 6. Список літератури …………………………………………………………………………... 80