Інфопакет

Науковий семінар з проектування програмного забезпечення

ОК 34

Обов’язкова дисципліна для ОП

Перший

2023/2024

2 Семестр

3

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

Очна форма

1. Знати теоретичні основи отримані при вивчені дисциплін “Архітектура та проектування програмного забезпечення”, “Якість програмного забезпечення та тестування”, “Об’єктно-орієнтоване конструювання програм”. 2. Вміти застосовувати практичні навички, отриманні при вивченні дисциплін “Архітектура та проектування програмного забезпечення”, “Якість програмного забезпечення та тестування”, “Об’єктно-орієнтоване конструювання програм”

Дисципліна формує у студентів здатність застосовувати ефективні підходи щодо проектування програмного забезпечення при розробці програмного забезпечення та враховувати вимоги щодо якості при проектуванні програмного забезпечення.

1. Дорошенко А.Ю. Формальні методи специфікації програм / А.Ю. Дорошенко та ін. - ВПЦ “Київський університет”. – 2018. – 367 с.

Семінарські заняття, самостійна робота

Рівень досягнення запланованих результатів навчання визначається за результатами доповідей під час семінарських занять та контрольної роботи. Семестрове оцінювання студентів здійснюється впродовж семестру з усіх видів робіт (максимум 60 балів). Форма підсумкового оцінювання – іспит (максимум 40 балів). Результуюча оцінка визначається як сума балів за всіма, успішно оціненими, результатами навчання.

Українська