Література

1. Орлов С.А. Технологии разработки ПО: Учебник. - СПб.: Питер, 2002. – 464 с.

2. Вендров А.М. Проектирование ПО информационных систем: Учебник.- М.: Финансы и статистика, 2000. – 352 с.

Моделювання програмного забезпечення

1. Уніфікований мова моделювання UML. Етапи розвитку UML. Основні принципи об'єктно-орієнтованого проектування складних систем. Основні моделі, які будуються на мові UML для системи, що проектується. 2. Опис концептуальної моделі проектованої програмної системи у вигляді діаграми варіантів використання (Use Case Diagram) на мові UML. Приклад діаграми варіантів використання.

3. Діаграма класів (Class diagram). Позначення і семантика графічних позначень мови UML, які використовуються для зображення даної діаграми. Приклад діаграми.

4. Діаграма станів (State diagram). Позначення і семантика графічних позначень мови UML, які використовуються для зображення даної діаграми. Приклади діаграми.

5. Діаграма послідовності (Sequence diagram). Позначення і семантика графічних позначень мови UML, які використовуються для зображення даної діаграми.

Задачі – в відповідності до теоретичних запитань.

Література

1. Орлов С.А. Технологии разработки ПО: Учебник. - СПб.: Питер, 2002. – 464 с.

2. Скотт К. UML. Основные концепции. – М.: Изд-во «Вильямс», 2002. – 144с.

Леоненков А.В. Объектно-ориентированный анализ и проектирование с использованием UML и IBM Rational Rose: Учебное пособие.- М.: БИНОМ, 2006. – 320 с.

Математичні методи дослідження операцій

1. Лінійне програмування. Загальний вигляд. Геометрична інтерпретация. Особливі випадки. Метод рішення.

2. Оптiмiзацiйнi задачи транспортного типа по різних критеріях.

3. Класифiкацiя алгоритмiв та методiв рішення нелінійних оптiмiзацiйних задач.

4. Класичний підхід для рішення нелінійних оптiмiзацiйних задач.

5. Дискретні оптимізаційні задачи. Приклади. Геометрична інтерпретация. Класи завдань і методів. Обчислювальні аспекти методів рішення, пов'язані з теорією NP-повноти.

Задачі – в відповідності до теоретичних запитань.

Література

1.Хэмди А., Таха, Вступ до дослiджень операцiй, Пер. с анг. -М.,2005,-912с.

2. Вагнер Г. Основи дослідження операцій. -М.: Сов. радио, 1972. Т1-3.

МЕНЕДЖМЕНТ ПРОЕКТІВ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

1. Каскадна модель управління програмними проектами «водоспад», принципи та особливості. 2. Гнучкі методики управління програмними проектами, принципи та особливості. 3. Використання діаграми Ганта в управлінні проектами. Критичний шлях. 4. Прагматичний підхід PERT до оцінки трудомісткості. 5. Життєвий цикл проекту.

Задачі – в відповідності до теоретичних запитань.

Література

1. Сергей Архипенков. Лекции по управлению программными проектами. Москва 2009. — 128 C. 2. Хенрик Книберг, Маттиас Скарин. Scrum и Kanban: выжимаем максимум.С4Media. 2010. — 78 C.

СИСТЕМИ ШТУЧНОГО ІНТЕЛЕКТУ

1. Типова структура експертної системи. Етапи розробки експертної системи та їх характеристика.

2. Стратегії отримання знань. Класифікація методів вилучення знань, їх коротка характеристика. Методи автоматизованого здобуття знань, їх характеристика.

3. Механізм логічного виведення в експертних системах, його функції. Базові стратегії логічного висновку. Основні структури даних і типові кроки в прямому і зворотному логічному висновку.

4. Представлення і використання нечітких знань. Формула Байєса. Способи уявлень ненадійних знань. Імовірнісні міркування. Види невизначеності.

5. Коефіцієнти впевненості - як одна з моделей опису нечітких знань. Метод MYCIN. Приклад виведення висновку при наявності продукційних правил з нечіткими знаннями.

Задачі – в відповідності до теоретичних запитань.