Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
система програмна, система программная
Документи:
- Андрейчикова, О. Н. Программная система для формирования и выбора коллективных решений [Текст] / О. Н. Андрейчикова, Н. В. Попов // Изв.ВУЗов.Машиностроение. – 2003. – № 6. – 43-58.
- Бабенко, Л. П. Онтологический подход к спецификации свойств программных систем и их компонентов [Текст] / Л. П. Бабенко // Кибернетика и системный анализ. – 2009. – Т. 45, № 1. – С. 180-187.
- Багацький, О. В. Програмна архітектура системи для збору і обробки параметрів комунальних послуг [Електронний ресурс] / О. В. Багацький // Інформаційні технології та комп'ютерна інженерія. – 2016. – № 1(35). – С. 23-28.
- Багацький, О. В. Програмна архітектура системи для збору і обробки параметрів комунальних послуг [Текст] / О. В. Багацький // Інформаційні технології та комп'ютерна інженерія. – 2016. – № 1(35). – С. 23-28.
- Перевірка коректності потреб до програмних систем, поданих атрибутними транзиційними системами [Текст] / С. М. Баранов, В. А. Волков, О. Б. Годлевський [et al.] // Кибернетика и системный анализ. – 2003. – № 6. – 3-11.
- Боровиков, Ю. С. Концепция адекватного моделирования интеллектуальных энергосистем [Текст] / Ю. С. Боровиков // Известия высших учебных заведений. Электромеханика. – 2011. – № 6. – С. 86-91.
- Бородій, І. І. Принципи побудови програмної системи формування агрегованих даних [Текст] / І. І. Бородій, Я. С. Парамуд, В. В. Cав’як // Вісник Національного університету "Львівська політехніка". Серія : Комп'ютерні системи та мережі. – 2018. – № 905. – С.25-32.
- Булычев, П. Е. Теоретико-игровое средство проверки отношений симуляций [Текст] / П. Е. Булычев // Программирование. – 2011. – № 4. – С. 39--52.
- Бурбело, С. М. Оптимізація планування подій в програмних системах зі змінними параметрами та структурою засобами інформаційної технології збереження і обробки даних [Текст] / С. М. Бурбело // Вісник Вінницького політехнічного інституту. – 2011. – № 6. – С. 224-227.
- Буров, Є. В. Ефективність застосування онтологічних иоделей для побудови програмних систем [Текст] / Є. В. Буров // Математичні машини і системи. – 2013. – № 1. – С. 44-55.
- Великодний, С. С. Метод представлення оцінки реінжинірингу програмних систем за допомогою проектних коефіцієнтів [Текст] / С. С. Великодний // Сучасний стан наукових досліджень та технологій в промисловості. – 2019. – № 1(7). – С. 34-42.
- Войтко, В. В. Інформаційна технологія автоматизованої обробки та керування даними в програмних системах [Текст] / В. В. Войтко, С. М. Бурбело, І. В. Кручок // Контроль і управління в складних системах (КУСС-2012) : XI Міжнародна конференція : тези доповідей, Вінниця, 9-11 жовтня 2012 року / ВНТУ, ХНУРЕ, Грузинський технічний ун-т. – Вінниця : ВНТУ, 2012. – С. 93.
- Принципы реализации учебных взаимодействий в системах дистанционного образования [Текст] / Н. Н. Глибовец, А. Н. Глибовец, А. А. Корень, Ю. В. Рощенко // Управляющие системы и машины. – 2010. – № 6. – С. 54-63.
- Глибовец, Н. Н. Расширение языка SCALA средствами параллелизма и распределенности с помощью координационной системы LINDA [Текст] / Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 117-122.
- Глибовець, А. М. Аналіз програмних систем підтримки розумного будинку [Текст] / А. М. Глибовець, В. О. Моголівський // Control Systems and Computers = Системи керування та комп'ютери. – 2019. – № 5. – С. 30-37.
- Глибовець, М. М. Використання моделі акторів для реалізації розподілених генетичних алгоритмів [Текст] / М. М. Глибовець, С. О. Зінчук // Системні дослідження та інформаційні технології. – 2015. – № 2. – С. 16-25.
- Ершов, С. В. Метод параллельного нечеткого вывода для систем Такаги-Сугено высшего порядка [Текст] / С. В. Ершов, Р. Н. Пономаренко // Кибернетика и системный анализ. – 2018. – Т. 54, № 6. – С. 170-180.
- Подход к моделированию и проектированию CRM-систем [Текст] / П. П. Игнатенко, В. М. Ткаченко, И. А. Стрелов, Р. А. Дудник // УСиМ. – 2005. – № 2. – 57-65.
- Ксензов, М. Архитектурный рефакторинг корпоративных программных систем [Текст] / М. Ксензов // Программирование. – 2006. – № 1. – 41-56.
- Кулямин, В. В. Интеграция методов верификации программных систем [Текст] / В. В. Кулямин // Программирование. – 2008. – № 4. – С. 41-55.
- Лаврищева, Е. М. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем [Текст] / Е. М. Лаврищева // Кибернетика и системный анализ. – 2013. – Т. 45, № 1. – С. 129-144.
- Лаврищева, Е. М. Подход к экспертному оцениванию в программной инженерии [Текст] / Е. М. Лаврищева, О. А. Слабоспицкая // Кибернетика и системный анализ. – 2009. – Т. 45, № 4. – С. 151-168.
- Лаврішева, К. М. Об'єктне-компонентне проектування (ОКП) програмних систем. Теоретичні і практичні питання [Текст] / К. М. Лаврішева, А. Л. Колесник, А. Ю. Стеняшин // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 103-117. – (Серія "Фізико-математичні науки").
- Лавріщева, К. М. Підхід до формального подання онтології життєвого циклу програмних систем [Текст] / К. М. Лавріщева // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 94-102. – (Серія "Фізико-математичні науки").
- Летичевский, А. А. Парадигмы модельного и символьного тестирования программных систем [Текст] / А. А. Летичевский // Кибернетика и системный анализ. – 2015. – Т. 51, № 5. – С. 31-44.
- Огляд сучасних методів захищеності та безпеки програмних систем [Текст] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк [та ін.] // Кибернетика и системный анализ. – 2019. – Т. 55, № 5. – С. 156-169.
- Лозицький, О. А. Прикладна програмна система опрацювання україномовних технічних текстів для людей з вадами зору [Текст] / О. А. Лозицький // Вісник Національного університету "Львівська політехніка". Серія : Інформаційні системи та мережі : збірник наукових праць / МОН України. – Львів : Львівська політехніка, 2015. – № 832. – С. 315-331.
- Манжос, Ю. С. Алгебричне аналізування надійності програмного забезпечення [Текст] / Ю. С. Манжос // Інженерія програмного забезпечення. – 2014. – № 1. – С. 20-27.
- Мороховець, М. К. Застосування та розроблення засобів лінгвістичного програмного забезпечення для аналізу та перетворення текстів вимог до програмних систем [Текст] / М. К. Мороховець, Н. М. Щоголева // Кібернетика та системний аналіз. – 2022. – Т. 58, № 5. – С. 16-24.
- Олефіренко, А. І. Розширення функціональності програмних систем з допомогою аспектно-орієнтованих бібліотек [Текст] / А. І. Олефіренко // Тези доповідей першої Міжнародної науково-практичної конференції "Методи та засоби кодування, захисту й ущільнення інформації", м. Вінниця, Україна 15-17 травня 2007 року / ВНТУ; Ред.: В.А. Лужецький. – Вінниця : ВНТУ, 2007. – С. 63-64.
- Рейчев, И. Э. Особенности тестирования критических программных систем при их сертификации [Текст] / И. Э. Рейчев, А. Г. Харченко, О. А. Егоров // Проблемы управления и информатики. – 2011. – № 2. – С. 91-99.
- Самарев, Р. Метод адаптивного управляемого параллельного выполнения операций в объектных СУБД [Текст] / Р. Самарев // Программирование. – 2008. – № 1. – 11-22.
- Супруненко, О. О. Аналіз прихованих помилок у моделях програмних систем на основі мереж Петрі [Текст] / О. О. Супруненко, Б. О. Онищенко, Ю. Є. Гребенович // Електронне моделювання. – 2022. – Т. 44, № 2. – С. 38-50.
- Федасюк, Д. Адаптивна програмна система на основі онтологічного підходу для людей з когнітивними порушеннями [Текст] / Д. Федасюк, І. Луцик // Вісник Національного університету "Львівська політехніка". Інформаційніі системи та мережі. – 2021. – Вип. 9. – C. 61-74.
- Фролов, А. М. Гибридный подход к повышению надежности программных систем [Текст] / А. М. Фролов // Программирование. – 2004. – № 1. – 25-36.
- Фуксман, А. Л. Технологические аспекты создания программных систем [Текст] / А. Л. Фуксман. – М. : Статистика, 1979. – 184 с.
- Інструментальний засіб порівняльного оцінювання і багатокритеріального вибору архітектури програмних систем [Текст] / О. Г. Харченко, І. Боднарчук, І. Е. Райчев, І. О. Галай // Інженерія програмного забезпечення. – 2015. – № 1. – С. 10-24.
- Штовба, С. Д. Прогнозування трудомісткості розробки програмних систем за допомогою нечіткої гібридної моделі [Електронний ресурс] / С. Д. Штовба, А. А. Яковенко // Наукові праці Вінницького національного технічного університету. – 2014. – № 1. – С. 1-7.
- Яковина, В. С. Основи теорії надійності програмних систем [Текст] : навчальний посібник / В. С. Яковина, М. М. Сенів ; НУ "Львівська політехніка". – Львів : Вид-во Львівської політехніки, 2020. – 248 с. – ISBN 978-966-941-502-8 : 156,00 грн.
|