3. Структура залікового кредиту

Назва теми

Кількість годин, відведених на:

лекційні заняття

лабораторні роботи

самостійна робота студента

Семестр 1

Змістовний модуль 1 - Інженерія програмного забезпечення

Тема 1 - Вступ в програмну інженерію

2

Тема 2 - Процес створення програмного забезпечення

4

Тема 3 - Управління проектами

4

Тема 4 - Системотехніка обчислювальних систем

4

Тема 5 - Моделі систем

4

Тема 6 - Прототипіювання програмних систем

2

Змістовний модуль 2 - Вимоги та специфікації

Тема 7 - Вимоги до програмного забезпечення

4

Тема 8 - Розробка вимог

4

8

Тема 9 – Формальні специфікації ПО

4

Разом за 1 семестр:

32

16

Форма підсумкового контроль за 1 семестр –залік

Семестр 2

Змістовний модуль 3 - Проектування

Тема 10 - Архітектурне проектування

2

8

1

Тема 11 – Об’єктно-орієнтоване проектування

4

1

Тема 12 – Проектування з повторним використанням компонентів

2

8

4

Тема 13 - Проектування інтерфейсу користувача

2

Змістовний модуль 4 – Верифікація і атестація

Тема 14 – Верифікація та атестація ПЗ

4

8

1

Тема 15 – Тестування програмного забезпечення

2

1

Тема 16 – Атестація критичних систем

2

12

4

Разом за 2 семестр:

18

36

Форма підсумкового контроль за 1 семестр – екзамен

Всього з дисципліни:

50

52

Номер

лекції

Перелік змістових модулів, тем лекцій, їх анотації

Семестр 1

Змістовний модуль 1 - Інженерія програмного забезпечення

1

Тема 1 - Вступ в програмну інженерію

Що таке програмна інженерія. Відмінності програмних проектів від інших. Методі програмної інженерії

2-3

Тема 2 - Процес створення програмного забезпечення

Моделі процесу створення ПЗ.. Планування програмного проекту. Структура плану програмного проекту. Контрольні відмітки їх роль у реалізації програмного проекту. Часова діаграма виконання проекту. Мережева діаграма виконання проекту

4-5

Тема 3 - Управління проектами

Процес управліня. Планування проекту. Поняття ризиків при виконанні програмного проекту. Типи ризиків. Схема процесу управління ризиками. Категорії ризиків Аналіз та планування ризиків

6-7

Тема 4 - Системотехніка обчислювальних систем

Ітераційні властивості систем. Система та її оточення. Функціональні компоненти систем. Моделювання систем.

8-9

Тема 5 - Моделі систем

Моделі системного оточення. Поведінкові моделі. Моделі потоків даних. Моделі кінцевих автоматів. Моделі даних. Об’єктні моделі.

10

Тема 6 - Прототипіювання програмних систем

Призначення прототипів. Види прототипів. Застосування прототипіювання

Змістовний модуль 2 - Вимоги та специфікації

11-12

Тема 7 - Вимоги до програмного забезпечення

Функціональні та не функціональні вимоги. Вимоги предметної області. Користувацькі вимоги. Системні вимоги. Структурна мова специфікацій.

13-14

Тема 8 - Розробка вимог

Аналіз здійсненності. Формування і аналіз вимог. Опорні точки зору. Сценарії та варіанти використання. Атестація вимог.

15-16

Тема 9 – Формальні специфікації ПО

Специфікація інтерфейсів. Специфікації поведінки системи.

Разом за 1 семестр __32__ годин лекцій.

Семестр 2

Змістовний модуль 3 - Проектування

1

Тема 10 - Архітектурне проектування

Структурування системи. Моделі управління. Проблемно-залежні архітектури.

2-3

Тема 11 – Об’єктно-орієнтоване проектування

Об’єкти і класи об’єктів. Процес обєктно-орієнтованого проектування. Модифікація системної архітектури.

4

Тема 12 – Проектування з повторним використанням компонентів

По компонентна розробка. Сімейства програм. Проектні патерни.

5

Тема 13 - Проектування інтерфейсу користувача

Принципи проектування. Взаємодія з користувачем. Представлення інформації.

Змістовний модуль 4 - Верифікація і атестація

6-7

Тема 14 – Верифікація та атестація ПЗ

Планування верифікації та атестації. Інспектування програм. Метод “чистої кімнати”.

8

Тема 15 – Тестування програмного забезпечення

Тестування дефектів. Тестування збірки. Тестування ООП систем.

9

Тема 16 – Атестація критичних систем

Атестація безвідмовності. Гарантії безпеки. Оцінка захищеності системи.

Разом за 2 семестр __18__годин лекцій

Всього з дисципліни __50__ годин лекцій.