У конспекті лекцій відображено основні методи і засоби формальних методів програмної інженерії що дозволяють створювати ефективне програмне забезпечення. Цей курс містить поглиблені відомості про структуру, зміст і обсяг знань, умінь і навичок, що підлягають засвоєнню магістрами спеціальності 121 "Інженерія програмного забезпечення". На основі освітньо-професійної програми та освітньо-кваліфікаційної характеристики для магістрів даної спеціальності в конспект лекцій включені розділи по Формальних методах, їх застосування як математичні основи в інженерії прграмних систем, як засоби опису програмних продуктів. У кінці кожної лекції є контрольні питання самоконтролю для закріплення вивченого матеріалу. Може бути використаний студентами очної, заочної та дистанційної форм навчання, а також для самостійного навчання. ЗМІСТ ВСТУП………………………………………………………………………… 5 Лекція 1. Формальні методи, їх застосування в інженерії програмних систем 6 Лекція 2. Формальні мови як засоби опису програмних продуктів.................. 26 Лекція 3. Математичні основи формальних методів....................................... 32 Лекція 4. Мережі петрі.......................................................................................... 42 Лекія 5. Формальні специфікації, мови формальних специфікацій, методів... 56 Лекція 6. Необхідність використання специфікацій програм..................... 61 Лекція 7. Специфікації засобів структурного підходу до розробки програмних засобів…………………………………………………………….. ................ 70 Лекція 8. Методологія компонентної розробки програмного забезпечення………………….……………………………………………….. 89 Лекція 9. Специфікація засобами об'єктно-орієнтованого підходу до розробки програмних систем………..….……………………………………………….. 117 Лекція 10. Класифікація патернів проектування програмного забезпечення.………………….……………………………………………….. 122 Лекція 11. Задачі проектування за допомогою патернів …………………….. 127 Лекція 12. Вибір та користування патернами проектування ……………….. 138