внаслідок вивчення дисципліни студент має
– знати:
- типи вимог до ПЗ;
- методи виявлення та формалізації вимог до ПЗ;
- методологію верифікації вимог;
- методи аналізу вимог та їх узгодження;
- методи управління ризиками.
– вміти:
- визначати джерела вимог до ПЗ;
- розрізняти функціональні та не функціональні вимоги до ПЗ;
- виділяти вимоги з кількісною та якісною оцінками;
- заходити суперечності між вимогами до ПЗ та вирішувати конфлікти між замов-никами та розробниками ПЗ;
- розробляти специфікацію вимог до ПЗ;
- виконувати верифікацію та атестацію вимог до ПЗ;
- здійснювати аналіз вимог до ПЗ;
- використовувати сучасні програмні засоби для виконання завдань щодо аналізу вимог до ПЗ;
- користуватись програмними засобами для відстежування та управління вимогами до ПЗ.
– уміти представляти результати дослідження розширеного аналізу вимог до ПЗ для відображення зв'язків між ними, а також обґрунтовувати свої висновки.
– мати уявлення про основні напрями розвитку та перспективи практичного за-стосування вимоги до ПЗ та про особливості їх аналізу.

- Основи програмної інженерії.
- Групова динаміка та комунікації.
- Конфігураційне управління.
- Документування вимог до програмного забезпечення.
- Якість програмного забезпечення.
- Управління проектами в ІТ-галузі

Вступ. Основні поняття про вимоги до ПЗ та про їх аналіз. 1) Проблема розроблення вимог до ПЗ та особливості управління ними. 2) Структура загально-го процесу розроблення вимог до ПС. 3) Використання системного моделювання для розроблення вимог до ПЗ. 4) Техніка і принципи написання вимог до ПЗ та їх аналіз. 5) Розроблення користувацьких вимог до ПЗ в області наявних проблем. 6) Розроблення системних вимог до ПЗ в області прийняття рішень. 7) Використання розширеного аналізу для відображення зв'язків між вимогами до ПЗ. 8) Особливо-сті управління процесом розроблення вимог до ПЗ. 9) Автоматизація процесу управління вимогами до ПЗ. 10) DOORS – ефективний засіб для управління вимо-гами до ПЗ. 11) Автоматизація процесу прийняття рішень при аналізі вимог до ПЗ. 12) Автоматизація об'єктно-орієнтованого проектування ПС.

1. Грицюк Ю.І. Аналіз вимог до програмного забезпечення : навч. посібн. / Ю.І. Грицюк. – Львів : Вид-во НУ "Львівська політехніка", 2016. – 500 с.
2. Вигерс К. Разработка требований к программному обеспечению : пер. с англ. – М. : Изд.-торг. дом "Русская Редакция", 2004. – 576 с.
3. Вигерс К., Битти Д. Разработка требований к программному обеспечению : пер. с англ. – Изд. 3-е, [перераб. и доп.]. – М. : Изд.-торг. дом "Русская Редакция"; СПб. : БХВ-Петербург, 2014. – 736 с.
5. Коберн Алистер. Современные методы описания функциональных требований к системам (Writing Effective Use Cases) : пер. с англ. Е. Борисова. – М. : OZON Status, 2012. – 264 с.
5. Кролл П., Крачтен Ф. Rational Unified Process – это легко. Руководство по RUP для практи-ков : пер. с англ. – М. : КУДИЦ-ОБРАЗ, 2004. – 432 с.
6. Лэффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспече-нию: Унифицированный подход : пер. с англ. – М. : Изд. дом "Вильямс", 2002. – 448 с.
7. Соммервилл Иан. Инженерия программного обеспечения : пер. с англ. – Изд. 6-ое, [пере-раб. и доп.]. – М. : Изд. дом "Вильямс", 2002. – 624 с.
8. Корнипаев Илья. Требования для программного обеспечения. Рекомендации по сбору и до-кументированию. – М. : OZON Status, 2013. – 118 с.
9. Халл Элизабет, Джексон Кен, Дик Джереми. Разработка и управление требованиями. Прак-тическое руководство пользователя: пер. Илья Корнипаев. – Изд. 2-ое, [перераб. и доп.]. – М. : Telelogic, 2005. – 229 с.
10. Standard for Software Verification and Validation Plans(ANSI/IEEE standard 1012-1986. [Electronic resource]. – Mode of access http://standards.ieee.org/findstds/standard/1012-1986.html

- поточний контроль (45%): звіти з лабораторних робіт, контрольні роботи;
- підсумковий контроль (55 %, іспит).