Електронний каталог науково-технічної бібліотеки ІФНТУНГ
004.415 Розробка комп'ютерної системи і програмного забезпечення
Підтеми:
Документи:
- Юрчишин, В. М. Методичні вказівки до виконання лабораторних та практичних робіт з дисципліни "Формальні методи програмної інженерії" [Текст] : для студентів напряму підготовки 6.050103 - "Програмна інженерія", 6.050103 - " Інженерія програмного забезпечення " / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2016. – 80 с. – (Каф. програмного забезпечення автоматизованих систем).
- Юрчишин, В. М. Формальні методи програмної інженерії [Текст] : конспект лекцій / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2016. – 154 с. – (Каф. програмного забезпечення автоматизованих систем).
- Юрчишин, В. М. Методичні вказівки до виконання лабораторних та практичних робіт з дисципліни " Моделювання процесу розробки програмного забезпечення " для студентів напряму підготовки 6.050103 - "Програмна інженерія", 6.050103 - " Інженерія програмного забезпечення [Текст] / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2017. – 30 с. – (Каф. програмного забезпечення автоматизованих систем).
- Юрчишин, В. М. Моделювання процесу розробки програмного забезпечення [Текст] : конспект лекцій / В. М. Юрчишин, В. Я. Піх. – Івано-Франківськ : ІФНТУНГ, 2015. – 79 с. – (Каф. програмного забезпечення автоматизованих систем).
- Яловець, А. Л. Архітектура та функціонувальні можливості системи підтримки прийняття рішень СПОР [Текст] / А. Л. Яловець // Проблеми програмування. – 2023. – № 2. – С. 3-9.
- Chebanyk, O. V. Domain engineering approach of software reguirements analysis [Текст] / O. V. Chebanyk, O. V. Palahin, K. K. Markov // Проблеми програмування. – 2020. – № 2-3. – С. 164-172.
- Sydorov, N. Toward software artifacts ecosystem [Текст] / N. Sydorov // Проблеми програмування. – 2020. – № 4. – С. 110-120.
1
2
|
