Грицюк, Ю. І. <br/><br/>
Аналіз вимог до програмного забезпечення :   підручник / 
Ю. І. Грицюк ; М-во освіти і науки України, Львівська політехніка 
 - Львів :  СПОЛОМ,  2024 
 - 630 с. 
<br/><br/> Зміст:<br/>ВСТУП<br/>Розділ 1. ОСНОВНІ ПОНЯТТЯ ПРО ВИМОГИ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТА ПРО ЇХНІЙ АНАЛІЗ<br/>1.1. Поняття про вимоги до програмного забезпечення<br/>1.1.1. Вади вимог до 113 за ієрархічними рівнями<br/>1.1.2. Валя вимог до 113 за характером поведінки<br/>1.1.3. Категоризація вимог до ПЗ<br/>1.1.4. Джерела вимог до ПЗ та методи і визначення<br/>1.1.5. Поняття про якість вимог до ПЗ<br/>1.1.6. Перевірка та аналіз вимог до ПЗ<br/>1.1.7. Документування вимог до ПЗ<br/>1.2. Поняття про аналіз вимог до програмного забезпечення<br/>1.2.1. Загальна інформація про аналіз вимог до ПЗ<br/>1.2.2. Діяльність аналітиків під час аналізу вимог до ПЗ<br/>1.2.3. Інженерія вимог до ПЗ<br/>1.2.4. Основні кроки процедури аналізу вимог до ПЗ<br/>1.2.5. Проблеми аналізу вимог до ПЗ<br/>1.2.6. Показники якості програмного продукту<br/>Розділ 2. ПРОБЛЕМИ РОЗРОБЛЕННЯ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>2.1. Проблема визначення вимог до програмного забезпечення та поняття про їхню якість<br/>2.1.1. Особливості визначення вимог до ПЗ<br/>2.1.2. Особливості визначення вимог до реальних систем<br/>2.1.3. Особливості визначення вимог до ПС<br/>2.1.4. Визначення вимог до ПЗ та системне моделювання<br/>2.2. Аналіз зв'язків між вимогами до програмного забезпечення та особливості внесення змін до вимог<br/>2.2.1. Встановлення зв'язків між системними вимогами до ПЗ та проблема їхнього аналізу<br/>2.2.2. Зв'язок потрібних змін вимог до ПЗ з етапами реалізації програмного проєкту<br/>2.2.1. Застосування V-моделі для опису етапів реалізації програмного проєкту<br/>2.3. Різниця між користувацькими та системними вимогами до програмного забезпечення<br/>2.3.1. Зв'язок вимог до ПЗ із процедурами їхнього тестування<br/>2.3.2. Зв'язок вимог до ПЗ, які належать області наявних проблем з вимогами в області прийняття рішень<br/>2.4. Проблеми управління вимогами до програмного забезпечення<br/>Розділ 3. СТРУКТУРА УНІФІКОВАНОГО ПРОЦЕСУ РОЗРОБЛЕННЯ ВИМОГ ДО ПРОГРАМНОЇ СИСТЕМИ<br/>3.1. Модель уніфікованого процесу розроблення вимог до програмної системи<br/>3.2. Реалізація уніфікованого процесу розроблення вимог до програмної системи<br/>3.2.1. Вхідні та похідні вимоги до ПС<br/>3.2.2. Стратегія перевірки вимог до ПС і критерії їхнього прийняття<br/>3.3. Ідеальний та реальний процеси розроблення вимог до програмної системи<br/>3.3.1. Ідеальний процес розроблення вимог до ПС<br/>3.3.2. Реальний процес розроблення вимог до ПС<br/>3.4. Модель статусу інформації в уніфікованому процесі розроблення вимог до програмної системи<br/>3.4.1. Класи інформації у моделі уніфікованого процесу розроблення вимог до ПС<br/>3.4.2. Стани статусу узгодження вимог до ПС<br/>3.4.3. Статус перевірки вимог до ПС<br/>3.4.4. Статус задоволення вимоги до ПС<br/>3.4.5. Внутрішні зв'язки моделі статусу інформації в уніфікованому процесі розроблення вимог до ПС<br/>3.5. Конкретизація уніфікованого процесу розроблення вимог до програмної системи<br/>3.5.1. Узгодження вимог до ПС<br/>3.5.2. Аналіз і моделювання вимог до ПС<br/>3.5.3. Розроблення вимог до ПС і встановлення стратегій їхньої перевірки<br/>Розділ 4. СИСТЕМНЕ МОДЕЛЮВАННЯ ТА РОЗРОБЛЕННЯ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>4.1. Методи системного моделювання для розроблення вимог до програмного забезпечення<br/>4.1.1. Діаграми потоків даних традиційний метод системного моделювання<br/>4.1.2. Діаграми сутність-зв'язок засоби для моделювання сутностей реальної системи й зв'язків між ними<br/>4.1.3. Діаграми станів — ситуаційна поведінка реальної системи.<br/>4.1.4. Об'єктно-орієнтовані підходи в системному моделюванні<br/>4.2. Методи подання інформації в системному моделюванні<br/>4.2.1. Метод перспектив у системному моделюванні<br/>4.2.2. Об'єктно-орієнтовані методи аналізу вимог до ПЗ<br/>4.2.3. UML-діаграми — структурні, поведінки та взаємодії<br/>4.2.4. Формальні методи подання інформації<br/>Розділ 5. ОСОБЛИВОСТІ ФОРМУЛЮВАННЯ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ТА ПРАВИЛА ЇХ РЕЦЕНЗУВАННЯ<br/>5.1. Можливості розроблених вимог до програмного забезпечення та їхні атрибути<br/>5.1.1. Можливості, які мають надавати вимоги розробником ПЗ<br/>5.1.2. Використання атрибутів вимоги, міцно прив'язаних до неї<br/>5.1.3. Рецензування наявних вимог до ПЗ<br/>5.2. Підготовка структури документа з вимогами до програмного забезпечення та відбір ключових вимог<br/>5.2.1. Створення оптимальної структури документа з вимогами до ПЗ<br/>5.2.2. Формування набору ключових вимог до ПЗ<br/>5.3. Взаємопов'язаність та важливість вимог до програмного забезпечення<br/>5.3.1. Поняття про взаємопов'язаність вимог до ПЗ<br/>5.3.2. Поняття про важливість вимог до ПЗ<br/>5.4. Мовні особливості формулювання вимог до програмного забезпечення, підготовка шаблонів і їхня деталізація<br/>5.4.1. Використання природної мови для строгого формулювання вимог до ПЗ<br/>5.4.2. Підготовка шаблонів вимог до ПЗ та обмежень до них<br/>5.4.3. Особливості деталізації вимог до ПЗ<br/>5.5. Критерії, яким має відповідати зміст сформульованих вимог до програмного забезпечення<br/>Розділ 6. РОЗРОБЛЕННЯ КОРИСТУВАЦЬКИХ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ В ОБЛАСТІ НАЯВНИХ ПРОБЛЕМ<br/>6.1. Ключові моменти, які належать області наявних проблем<br/>6.2. Уніфікований процес розроблення користувацьких вимог до програмного забезпечення та їх узгодження<br/>6.2.1. Розроблення користувацьких вимог до ПЗ, які належать області наявних проблем.<br/>6.2.2. Узгодження користувацьких вимог до ПЗ із замовником<br/>6.3. Застосування процедури аналізу й методів системного моделювання для розроблення користувацьких вимог<br/>6.3.1. Визначення зацікавлених сторін для розроблення набору користувацьких вимог до ПЗ<br/>6.3.2. Розроблення сценаріїв використання реальної системи<br/>6.3.3. Встановлення меж застосування ПЗ<br/>6.4. Структурування користувацьких вимог до програмного забезпечення в області наявних проблем<br/>6.4.1. Визначення структури вимог до ПЗ для внесення потреб безпосередніх користувачів<br/>6.4.2. Методика розроблення користувацьких вимог до ПЗ<br/>6.4.3. Визначення критеріїв прийняття користувацьких вимог до ПЗ<br/>6.4.4. Визначення стратегії перевірки користувацьких вимог до ПЗ<br/>6.5. Зворотний спосіб розроблення користувацьких вимог до програмного забезпечення<br/>6.5.1. Послідовність виконання робіт з вимогами до ПЗ<br/>6.5.2. Зворотний аналіз користувацьких вимог до ПЗ<br/>6.6. Виявлення суперечностей у вимогах до продукту проекту, отриманих від зацікавлених сторін<br/>6.6.1. Проблема виявлення суперечностей у вимогах до продукту проекту<br/>6.6.2. Удосконалення бізнес-системи через продукти проєкту<br/>6.6.3. Метод відображення конфлікту цінностей продукту проекту<br/>6.6.4. Додаткові можливості методу відображення конфлікту цінностей корисної пропозиції<br/>Розділ 7. РОЗРОБЛЕННЯ СИСТЕМНИХ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ В ОБЛАСТІ ПРИЙНЯТТЯ РІШЕНЬ<br/>7.1. Поняття, які використовують в області прийняття рішень<br/>7.2. Розроблення системних вимог до програмного забезпечення із користувацьких вимог<br/>7.2.1. Побудова абстрактної ПЗ<br/>7.2.2. Побудова моделі ПЗ для розроблення системних вимог<br/>7.3. Приклади побудови абстрактних моделей реальних систем для розроблення системних вимог<br/>7.3.1. Абстрактна модель банківської системи<br/>7.3.2. Абстрактна системна модель легкового автомобіля<br/>7.4. Розроблення системних вимог до програмного забезпечення із системної моделі<br/>7.4.1. Розроблення структури документа для внесення похідних системних вимог до ПЗ<br/>7.4.2. Узгодження системних вимог із розробниками архітектури ПЗ<br/>7.4.3. Механізм розроблення системних вимог до ПЗ на прикладі узгодженості інтерфейсу користувача<br/>7.5. Розроблення системних вимог до програмного забезпечення із його архітектури<br/>7.5.1. Розроблення моделі архітектури ПЗ<br/>7.5.2. Розроблення системних вимог із моделі архітектури ПЗ<br/>7.5.3. Інші перетворення вхідних вимог із використанням архітектури ПЗ<br/>Розділ 8. ВИКОРИСТАННЯ РОЗШИРЕНОГО АНАЛІЗУ ЗВ'ЯЗКІВ МЕЖ ВИМОГАМИ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>8.1. Відображення елементарних зв'язків між вимогами до програмного забезпечення<br/>8.2. Використання аргументів задоволення для відображення зв'язків між вимогами до програмного забезпечення<br/>8.2.1. Використання методу розширеного аналізу зв'язків між вимогами до ПЗ для внесення аргументів їх задоволення<br/>8.2.2. Пряме передавання вимог із верхнього рівня на нижні рівні<br/>8.2.3. Використання правил пропозиційної логіки для розширеного аналізу зв'язків між вимогами до ПЗ<br/>8.2.4. Налаштування процедури аналізу зв'язків на відображення тільки "потрібної" інформації<br/>8.3. Реалізація методу розширеного аналізу зв'язків між вимогами до розроблення програмного забезпечення<br/>8.4. Проєктна документація до програмного забезпечення поєднання вимог з системним моделюванням<br/>8.5. Використання зв'язків між вимогами для визначення та оцінювання їх параметрів<br/>8.5.1. Відображення широти й глибини зв'язків між вимогами до ПЗ<br/>8.5.2. Зростання зв'язків — параметр кількісного оцінювання потенційного впливу змін до вимоги<br/>8.5.3. Рівномірність зв'язків — параметр кількісного розподілу значень зростання зв'язків між двома рівнями вимог<br/>8.5.4. Вплив внесення змін до вимоги на зв'язки з нею і можливість їхнього аналізу<br/>Розділ 9. ОСОБЛИВОСТІ УПРАВЛІННЯ ПРОЦЕСОМ РОЗРОБЛЕННЯ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>9.1. План виконання завдань програмного проекту та управління процесом його реалізації<br/>9.2. Проблеми управління процесом розроблення вимог до програмного забезпечення<br/>9.3. Управління вимогами до програмного забезпечення у процесі діяльності компанії-замовника<br/>9.3.1. Планування послідовності виконання робіт<br/>9.3.2. Контроль за якістю виконання робіт<br/>9.3.3. Процес управління змінами вимог до ПЗ<br/>9.4. Управління вимогами до програмного забезпечення у процесі діяльності компанії-виконавця<br/>9.4.1. Підготовка комерційної пропозиції<br/>9.4.2. Етапи реалізації програмного проекту<br/>9.5. Управління вимогами до програмного забезпечення у процесі діяльності компанії-виробника<br/>9.5.1. Планування послідовності виконання робіт<br/>9.5.2. Контроль за якістю виконання робіт<br/>9.5.3. Процес управління змінами вимог до ПЗ<br/>Розділ 10. АВТОМАТИЗАЦІЯ ПРОЦЕСУ УПРАВЛІННЯ ВИМОГАМИ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>10.1. Управління вимогами до програмного забезпечення як об'єкт автоматизації<br/>10.2. Автоматизація процесу розроблення вимог до програмного забезпечення та управління ними<br/>10.2.1. Інструментальні засоби для розроблення вимог до програмного забезпечення<br/>10.2.2. Інструментальні засоби для управління вимогами до програмного забезпечення<br/>10.3. Сучасні автоматизовані системи управління вимогами до програмного забезпечення<br/>10.4. Управління вимогами до програмного забезпечення засобами системи IBM Rational RequisitePro<br/>Розділ 11. УПРАВЛІННЯ ВИМОГАМИ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ЗАСОБАМИ СИСТЕМИ IBM RATIONAL DOORS<br/>11.1. Потреба автоматизації процесу управління вимогами до програмного забезпечення<br/>11.2. Загальна характеристика системи IBM Rational DOORS<br/>11.2.1. Ключові переваги системи IBM Rational DOORS<br/>11.2.2. Функціональні можливості системи IBM Rational DOORS<br/>11.2.3. Розроблення UML-моделей та діаграм засобами системи IBM Rational DOORS Analyst<br/>11.3. Архітектура динамічної об'єктно-орієнтованої системи IBM Rational DOORS<br/>11.3.1. Структура бази даних системи IBM Rational DOORS<br/>11.3.2. Зовнішній вигляд вимог до ПЗ у системі IBM Rational DOORS<br/>11.4. Розроблення програмних продуктів, модулів і об'єктів засобами системи IBM Rational DOORS<br/>11.4.1. Вікно база даних системи IBM Rational DOORS<br/>11.4.2. Встановлення нових формальних модулів<br/>11.4.3. Зберігання у формальних модулях даних у вигляді об'єктів<br/>11.4.4. Відображення даних у вигляді таблиці<br/>11.5. Відображення історії змін вимог і версій програмних модулів засобами системи IBM Rational DOORS<br/>11.5.1. Збереження історії змін модулів, об'єктів і їхніх атрибутів<br/>11.5.2. Встановлення версії програмного модуля<br/>11.6. Атрибути програмного модуля, види даних, зв'язки між об'єктами та їхній аналіз<br/>11.6.1. Використання атрибутів модуля для зберігання інформації<br/>11.6.2. Вигляд вікна можливість маніпулювати інформацією<br/>11.6.3. Встановлення зв'язків між об'єктами<br/>11.6.4. Звіти про зв'язки між об'єктами та їхній аналіз<br/>11.6.5. Імпорт та експорт інформації засобами системи Rational DOORS<br/>11.7. IBM Rational DOORS Next Generation ефективна система визначення та розроблення вимог<br/>11.7.1. Механізми узгодження та затвердження вимог засобами системи IBM Rational DOORS Next Generation<br/>11.7.2. Основні функції системи IBM Rational DOORS Next Generation<br/>11.7.3. Відстеження та аналіз зв'язків між модулями й об'єктами<br/>11.7.4. Характеристика платформи Jazz стосовно системи IBM Rational DOORS Next Generation<br/>11.8. Управління вимогами засобами системи IBM Rational Requirements Composer<br/>11.8.1. Загальні можливості системи Requirements Composer<br/>11.8.2. Функціональні можливості системи Requirements Componer<br/>Розділ 12. АВТОМАТИЗАЦІЯ ПРОЦЕСУ ПРИЙНЯТТЯ РІШЕНЬ ПІД ЧАС АНАЛІЗУ ВИМОГ ДО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>12.1. Організаційно-технологічні особливості прийняття управлінських рішень під час аналізу вимог<br/>12.2. Вимоги до CASE-систем автоматизації процесу аналізу та розроблення програмного забезпечення<br/>12.3. Автоматизований супровід процесу групового розроблення програмного забезпечення<br/>12.4. Підтримка процесу розроблення програмних систем на підставі інтелектуального репозиторію<br/>12.5. Автоматизація процесу прототипування програмних систем<br/>12.5.1. Класифікація прототипів ПС<br/>12.5.2. Сучасні підходи до прототипування ПС<br/>12.5.3. Інструментальні засоби для прототипування ПС<br/>12.5.4. Підготовка проєктних рішень і прототипів ПС засобами системи Serena Prototype Composer<br/>12.5.5. Організація фабрик для розроблення ПЗ<br/>12.6. Автоматизація процесу розроблення документації засобами системи IBM Publishing Engine.<br/>12.6.1. Друкування документації програмних проєктів засобами системи IBM Rational Publishing Engine<br/>12.6.2. Функціональні можливості засобів системи IBM Rational Publishing Engine<br/>Розділ 13. ЗАСОБИ АВТОМАТИЗАЦІЇ ОБ'ЄКТНО-ОРІЄНТОВАНОГО АНАЛІЗУ ВИМОГ ДО ПРОГРАМНИХ СИСТЕМ<br/>13.1. Проблеми автоматизації процесу розроблення програмних систем<br/>13.1.1. Методи автоматизації процесу розроблення ПС<br/>13.1.2. Етапи становлення проектного інжинірингу ПС<br/>13.2. Візуальне моделювання як об'єкт процесу розроблення програмних систем<br/>13.3. Автоматизація процесу розроблення програмних систем засобами. IBM Rational Rose<br/>13.3.1. Загальна характеристика засобу IBM Rational Rose<br/>13.3.2. Функціональне моделювання засобами IBM Rational Rose<br/>13.3.3. Моделювання взаємодії об'єктів засобами IBM Rational Rose<br/>13.3.4. Побудова логічної моделі ПС засобами IBM Rational Rose<br/>13.4. Використання системи IBM Rational Rhapsody для розроблення вбудованого ПЗ реального часу<br/>13.5. Характеристика програмних продуктів системи IBM Rational Rhapsody Family для спільної роботи<br/>13.5.1. Набір програмних продуктів системи IBM Rational Rhapsody<br/>13.5.2. Аналіз вимог до ПЗ засобами системи IBM Rational Rhapsody Architect<br/>13.5.3. Середовище візуального розроблення системи IBM Rational Rhapsody Developer<br/>13.5.4. Середовище розроблення ПС засобами IBM Rational Rhapsody Designer для системних аналітиків<br/>13.5.5. Середовище розроблення ПС засобами IBM Rational Rhapsody Architect для системних аналітиків<br/>Розділ 14. ПРОГРАМНА ІНЖЕНЕРІЯ ТА ІНЖЕНЕРІЯ ВИМОГ ДО СИСТЕМ<br/>14.1. Поняття, які використовує програмна інженерія<br/>14.2. Інженерія вимог до програмної системи як складова процесу її розроблення<br/>14.3. Концептуальне моделювання реальної системи<br/>14.3.1. Потреба моделювання реальних систем<br/>14.3.2. Онтологія предметної області – домену<br/>14.3.3. Моделі динамічних процесів і явищ домену<br/>14.3.4. Моделі алгоритмів виконання обчислень та їхня складність.<br/>14.4. Об'єктно-орієнтовані методи аналізу вимог до програмних систем і проектування їхньої архітектури<br/>14.4.1. Основні поняття об'єктно-орієнтованих методів аналізу вимог до предметної області<br/>14.4.2. Особливості об'єктно-орієнтованого розроблення вимог до ПС<br/>14.4.3. Об'єктно-орієнтовані моделі вимог до ПС<br/>14.5. Особливості аналізу вимог до предметної області за методом С. Шлеєра та С. Меллора<br/>14.5.1. Інформаційна модель (онтологія) предметної області<br/>14.5.2. Модель стану об'єктів основа для розроблення моделі вимог до предметної області<br/>14.5.3. Дії моделі процесів, які супроводжують перехід системи з одного стану в інший<br/>14.5.4. Продукти інженерії вимог до програмних систем за методом С. Шлеєра та С. Меллора<br/>14.6. Інженерія вимог до програмних систем за методом І. Джекобсона<br/>14.6.1. Сценарії використання як основа розроблення вимог до ПС<br/>14.6.2. Модель аналізу вимог до ПС за методом І. Джекобсона<br/>14.7. Розроблення вимог до програмної системи за її архітектурою<br/>14.7.1. Поняття, які використовують під час розроблення системних вимог за архітектурою ПС<br/>14.7.2. Підходи щодо розроблення вимог до ПС за її архітектурою<br/>14.7.3. Різні розроблення архітектури ПС<br/>Контрольні запитання та завдання<br/>Додаток А. ЗАСТОСУВАННЯ V-МОДЕЛІ В ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>А.1. Логічна структура діаграми V-моделі<br/>А.2. Принципи побудови V-моделі<br/>А.З. Послідовність дій під час побудови V-моделі<br/>А.4. Переваги застосування діаграми V-моделі<br/>Додаток Б. CASE-ЗАСОБИ РОЗРОБЛЕННЯ вимог до ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>Додаток В. ПОТРЕБА ДОКУМЕНТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ<br/>ПЕРЕЛІК ВИКОРИСТАНОЇ ЛІТЕРАТУРИ<br/><br/>Анотація:<br/>Розглянуто основні поняття про вимоги до ПЗ та про їхній аналіз, наведено деякі проблеми розроблення вимог та особливості управління ними, проаналізовано структуру уніфікованого процесу розроблення вимог, а також особливості використання методів системного моделювання для їх розроблення. Особливу увагу зосереджено на техніці та принципах формулювання вимог з використанням шаблонів, на особливостях розроблення вимог, які стосуються області наявних проб лем і області прийняття рішень, на використанні методу розширеного аналізу зв'язків між вимогами та на їх відображенні, а також на особливостях управління процесом розроблення вимог до ПЗ засобами системи IBM Rational DOORS та системи IBM Rational Rose.<br/>Видання призначено для студентів і магістрів, які вивчають сучасні проблеми та особливості процесу розроблення вимог до ПЗ, проводять їхній аналіз та здійснюють управління ними у межах різних навчальних дисциплін, а також для всіх, хто бажає самостійно опанувати таку діяльність. 
<br/><br/><label>ISBN: </label>978-617-8450-61-8  300.00 грн. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Програмне забезпечення
<br/><br/><label>Subjects--Index Terms: </label>програмна система IBM Rational DOORS системні аналітики програмна інженерія проєктний інжиніринг 
<br/><br/><label>Universal Decimal Class. No.: </label>004.414.3(075.8)