Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
забезпечення програмне = програмне забезпечення, обеспечение программное = программное обеспечение
Підтеми:
Документи:
- Метод побудови сценаріїв тестування програмного забезпечення на основі аналізу його змінних [Електронний ресурс] / В. ФедасюкД, В. С. Яковина, П. В. Сердюк, О. О. Нитребич // Інформаційні технології та комп'ютерна інженерія. – 2014. – № 2. – С. 50-55.
- Федосєєв, Михайло Програмне забезпечення HPE VM Essentials [Текст] / М. Федосєєв // Мережі та бізнес. – 2025. – № 1. – С. 6-8.
- Флейтман, Д. В. Жизненный цикл и живучесть корпоративных информационных систем [Текст] / Д. В. Флейтман // Реєстрація, зберігання і обробка даних. – 2004. – 6, № 3. – С. 74-84.
- Флорес, А. Программное обеспечение [Текст] / А. Флорес ; пер. с англ. Д. Б. Подшивалова ; под ред. В. М. Курочкина. – М. : Мир, 1971. – 519 с. – 2.28 грн.
- Харченко, В. С. Оценка верификации критического программного обеспечения: критерии, модели и реализация [Текст] / В. С. Харченко, С. А. Вилкомир // Управляющие системы и машины. – 2003. – № 6. – 60-68.
- Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения [Текст] / В. С. Харченко, О. М. Тарасюк, А. В. Горбенко, В. В. Скляр // Электронное моделирование. – 2005. – 27, № 5. – 85-98.
- Проектування архітектури WEB-застосування на основі моделі якості [Текст] / О. Г. Харченко, І. О. Галай, І. О. Боднарчук, В. В. Яцишин // Інженерія програмного забезпечення. – 2010. – № 4. – С. 26-34.
- Хилбурн, Д. Л. Микро-ЭВМ и микропроцессоры [Текст] : технические средства, программное обеспечение, применения: Пер. с англ / Д. Л. Хилбурн ; Под ред. С.Д. Пашкеева. – М. : Мир, 1979. – 463 с.
- Адаптивні комп'ютерні технології розв'язування задач обчислювальної та прикладної математики [Текст] / О. М. Хіміч, Т. В. Чистякова, В. А. Сидорук, П. С. Єршов // Кібернетика та системний аналіз. – 2021. – Т. 57, № 6. – С. 162-171.
- Холл, Г. М. Адаптивный код: гибкое кодирование с помощью паттернов проектирования и принципов SOLID [Текст] = Adaptive Code : пер. с англ. / Г. М. Холл. – 2-е изд. – Москва, Санкт-Петербург : Диалектика, 2018. – 448 с. – ISBN 978-5-9909445-9-6 : 550,00 грн.
- Хоменко, О. М. Побудова сценаріїв розвитку каскадних збоїв в інфраструктурі електромереж [Текст] / О. М. Хоменко, О. В. Коваль // Зв'язок. – 2025. – № 5. – С. 3-12.
- Цирульник, С. М. Захист програмного забезпечення AVR мікроконтролерів [Текст] / С. М. Цирульник, А. С. Зимогляд // Тези доповідей Четвертої Міжнародної науково-практичної конференції "Методи та засоби кодування, захисту й ущільнення інформації", м. Вінниця, Україна, 23-25 квітня 2013 р/ / ВНТУ ; ред.: В. А. Лужецький. – Вінниця : ВНТУ, 2013. – С. 161-164.
- Метод та засоби тестування спеціалізованих компонентів мобільної робототехнічної платформи на робочих тактових частотах [Текст] / I. Г. Цмоць, Ю. В. Опотяк, М. Я. Сенета [та ін.] // Ukrainian Journal of Information Technology. – 2023. – Vol. 5, № 2. – С. 49-59. – DOI: https://doi.org/10.23939/ujit2023.02.049.
- Чабанюк, О. М. Бухгалтерський облік та прикладні програмні рішення. BAS:БУХГАЛТЕРІЯ [Текст] : навчальний посібник / О. М. Чабанюк, Н. О. Лобода, К. І. Кузьмінська. – Київ : Алерта, 2024. – 234 с. – ISBN 978-617-566-834-4 : 420,00 грн.
- Чайников, С. И. Моделирование архитектуры и последовательности взаимодействия компонентов программного обеспечения и информационной системы [Текст] / С. И. Чайников, А. С. Солодовников // Радиоэлектроника и информатика. – 2016. – № 2. – С. 66-72.
- Чеботарьова, Є. Автоматизація розрахунку прогнозованих показників впровадження енергозберігаючих рішень [Текст] / Є. Чеботарьова // Контроль і управління в складних системах (КУСС-2020) : XV Міжнародна конференція : тези доповідей, Вінниця, 8-10 жовтня 2020 року / ВНТУ, ХНУРЕ. – Вінниця : ВНТУ, 2020. – С. 182-184.
- Чичкарьов, Є. А. Автоматизована генерація тестових випадків програмного забезпечення за допомогою великих мовних моделей з використанням промпт-інжинірінгу [Текст] / Є. А. Чичкарьов, О. В. Семенов // Телекомунікаційні та інформаційні технології. – 2025. – № 4. – С. 122-129. – DOI: https://doi.org/10.31673/2412-4338.2025.048914.
- Чумакова, Т. Я. Международные стандарты и жизненные циклы программного обеспечения [Текст] / Т. Я. Чумакова, С. М. Цыганенко // Математичні машини і системи. – 2009. – № 3. – С. 144-150.
- Чумакова, Т. Я. Стандартизация в сфере информационных технологий [Текст] / Т. Я. Чумакова, С. М. Цыганенко // Математичні машини і системи. – 2009. – № 2. – С. 145-150.
- Чурсинов, Б. И. Аппаратурное и программное обеспечение автоматизированной системы диагностирования автомобилей [Текст] : Учебное пособие / Б. И. Чурсинов, С. Г. Крылов ; НПИ. – Новгород, 1989. – 64с. – Библиогр. 22 назв.
- Шабатура, М. Ю. Спеціалізоване програмне забезпечення інтерактивної комп’ютеризованої системи [Текст] / М. Ю. Шабатура // Вісник Національного університету "Львівська політехніка". – 2012. – № 745 : Комп'ютерні системи та мережі. – С. 185-189.
- Шалагинова, З. И. Математическая модель для расчета теплогидравлических режимов тепловых пунктов теплоснабжающих систем [Текст] / З. И. Шалагинова // Теплоэнергетика. – 2016. – № 3. – С. 69-80.
- Шалыто, А. А. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем [Текст] / А. А. Шалыто, Н. И. Туккель // Изв.ВУЗов.Приборостроение. – 2001. – 44, № 9. – 28-35.
- Шалыто, А. А. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем [Текст] / А. А. Шалыто, Н. И. Туккель // Программирование. – 2001. – № 5. – 45-62.
- Шаповалов, А. А. Разработка алгоритмов и программного обеспечения для анализа рассредоточенных информационно-измерительных систем [Текст] : дис. ... канд. техн. наук : 05.11.16 : защищена 25.06.88 / Александр Андреевич Шаповалов ; ВПИ. – Винница, 1988. – 216 с. – Библиогр.: с.164-176.
- Шахматов, І. О. Інтегрований контур довіри у вебзастосунках на основі графового оцінювання ризику та незмінного журналювання рішень [Текст] / І. О. Шахматов // Зв'язок. – 2026. – № 2. – С. 72-78. – DOI: 10.31673/2412-9070.2026.024909.
- Шибанов, А. П. Способ реализации программного обеспечения для моделирования локальных сетей ENHERNET [Текст] / А. П. Шибанов // Программирование. – 2002. – № 6. – 62-71.
- Шинкаренко, В. И. Структурные модели алгоритмов в задачах прикладного программирования. 1. Формальные алгоритмические структуры [Текст] / В. И. Шинкаренко, В. М. Ильман, В. В. Скалозуб // Кибернетика и системный анализ. – 2009. – Т. 45, № 3. – С. 3-14.
- Шкуропадский, И. В. Программное обеспечение для компютерного моделирования электротехнических устройств. Практический опыт разработки и перспективы развития [Текст] / И. В. Шкуропадский // Известия высших учебных заведений. Электромеханика. – 2010. – № 5. – С. 54-60.
- Шпорт, М. М. Методика побудови маски хвильового алгоритму для пошуку раціональних маршрутів, необхідних для розв'язання завдань оперативно-службової діяльності Державної прикордонної служби України [Електронний ресурс] / М. М. Шпорт // Наукові праці Вінницького національного технічного університету. – 2014. – № 2. – С. 1-5.
- Штефан, Н. В. Модель якості програмного забезпечення на основі стандартів SQuaRE (Англ.м) [Текст] / Н. В. Штефан, О. В. Запорожец // Радіотехніка. – 2021. – № 207. – С. 159-165.
- Шураков, В. В. Надежность программного обеспечения систем обработки данных [Текст] : Учебник / В. В. Шураков. – 2-е изд., перераб. и доп. – М. : Финансы и статистика, 1987. – 272с : ил.
- Шураков, В. В. Надежность программного обеспечения систем обработки данных [Текст] : Учебник для вузов по спец. "Орг. механизир. обраб. эконом. информ." / В. В. Шураков. – М. : Статистика, 1981. – 216 с.
- Шураков, В. В. Программное обеспечение ЭВМ [Текст] : Учебник / В. В. Шураков, З. В. Алферова, Г. Н. Лихачева. – 2-е изд., доп. и перераб. – М. : Статистика, 1979. – 376 с : ил.
- Юрчук, Л. Ю. Спеціалізована система збирання та обробки інформації для метрологічного моніторингу [Текст] / Л. Ю. Юрчук, О. В. Родінін // Вісник Вінницького політехнічного інституту. – 2013. – № 1. – С. 18-22.
- Питання методичного та програмного забезпечення комп'ютеризації навчання робітничим професіям операторів енергетичних виробництв [Текст] / С. В. Юхимчук, О. М. Головченко, В. А. Каплун [та ін.] // Вісник ВПІ. – 1996. – 1(1-2). – С. 50-53.
- Якимов, В. Н. Программно-аппаратное обеспечение системы оценки амплитудного спектра многокомпонентных процессов [Текст] / В. Н. Якимов, О. В. Горбачев // Приборы и техника эксперимента. – 2013. – № 5. – С. 49-55.
- Яковина, В. Огляд і аналіз моделей надійності програмного забезпечення [Текст] / В. Яковина, В. Мацелюх // Вісник Національного університету "Львівська політехніка". Серія : Комп'ютерні науки та інформаційні технології. – 2017. – № 864. – С. 130-140.
- Моделі, методи та засоби аналізу надійності програмних систем [Текст] : монографія / В. С. Яковина, Д. В. Федасюк, М. М. Сенів, О. О. Нитребич ; МОН України, НУ "Львівська політехніка". – Львів : Вид-во Львівської політехніки, 2015. – 220 с. – ISBN 978-617-607-814-2 : 282,00 грн.
- Особливості моделювання мультикомпонентної інформаційної технології автоматизованого тестування [Електронний ресурс] / А. А. Яровий, Я. В. Іванчук, В. С. Озеранський, В. О. Василевський // Інформаційні технології та комп'ютерна інженерія. – 2021. – № 3. – С. 53-59. – DOI: https://doi.org/10.31649/1999-9941-2021-52-3-53-59.
- Особливості моделювання мультикомпонентної інформаційної технології автоматизованого тестування [Текст] / А. А. Яровий, Я. В. Іванчук, В. С. Озеранський, В. О. Василевський // Інформаційні технології та комп'ютерна інженерія. – 2021. – № 3. – С. 53-59. – DOI: https://doi.org/10.31649/1999-9941-2021-52-3-53-59.
- Яцишин, Святослав Design of the water strider-like robot [Текст] / С. Яцишин, Xinyu. Zeng // Вимірювальна техніка та метрологія : міжвідомчий науково-технічний збірник / МОН України. – Львів : Вид-во Львівської політехніки, 2023. – Т. 84, вип. 3. – С. 39-42. – DOI: https://doi.org/10.23939/istcmtm2023.03.039.
- Яцків, О. Р. Алгоритмічні та програмні засоби для автоматичного встановлення та запуску утиліт в середовищі Windows [Текст] / О. Р. Яцків, Ю. С. Клушин // Computer Systems and Networks. – 2023. – Vol. 5, № 1. – C. 182-204.
- Методика расчета остаточного ресурса систем управления и защиты электроустановок [Текст] / И. М. Ячиков, К. В. Вдовин, К. Э. Одинцов [и др.] // Известия высших учебных заведений. Электромеханика. – 2011. – № 4. – С. 91-94.
- ГОСТ 19781-83 Программное обеспечение систем обработки данных [Текст] : Термины и определения. – Взамен ГОСТ 19781-74.
- Embedded Software Verification and Debugging [Електронний ресурс] / Editors: D. Lettnin, M. Winterholer. – Electronic text data. – New York : Springer, 2017. – (Embedded Systems). – ISBN 978-1-4614-2266-2.
- Linux [Текст] : ответы и советы / сост. И.Грень. – Минск : Новое знание, 2004. – 350 с. – ISBN 985-475-071-Х.
- Алгоритмическое и программное обеспечение САПР в градостроительстве [Текст] : Сб. науч. тр / АН СССР. Ин-т автоматизации проектирования; Отв. ред. О.М.Белоцерковский. – М. : Наука, 1990. – 71с : ил. – Библиогр. в конце ст. – ISBN 5-02-006712-1.
- Алгоритмическое, программное и техническое обеспечение гибких производственных систем [Текст] : Межвуз. сб. Вып.7 / Под ред. А.В.Башарина. – Л. : ЛГУ, 1988. – 208с. – ISBN 5-288-00084-0.
- Алгоритмічні мови та програмне забезпечення [Текст] : лабораторний практикум : навчальний посібник / МОН України ; уклад.: П. Д. Лежнюк, О. Є. Рубаненко, В. В. Войтко, С. В. Бевз, К. І. Кравцов. – Вінниця : ВДТУ, 2002. – 121 с.
1
2
3
4
5
6
7
8
9
10
|