Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
|
| | | |
|
| 1. |
ВА862565
Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення [Текст] : монографія / Шкарупило В. В. [та ін.] ; за заг. ред. Шкарупила В. В. ; НАН України, Ін-т проблем моделювання в енергетиці ім. Г. Є. Пухова, Ін-т електродинаміки. - Вінниця : Європейська наукова платформа, 2023. - 118 с. : рис., табл. - Бібліогр.: с. 111-118. - 100 прим. - ISBN 978-617-8126-22-3
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 2. |
ВА864166
Губка, Олексій Сергійович.
Особливості тестування мобільних додатків [Текст] : навч. посіб. / О. С. Губка, С. О. Губка ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харків. авіац. ін-т". - Харків : ХАІ, 2020. - 79 с. : рис., табл. - Бібліогр.: с. 79. - 50 прим. - ISBN 978-966-662-752-3
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 3. |
РА439425
Чопей, Ратібор Степанович.
Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Чопей Ратібор Степанович ; Нац. ун-т "Львів. політехніка". - Львів, 2019. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 4. |
СТ9804/1
Інженерія систем і програмних засобів. Тестування програмних засобів [Текст]. - Київ : УкрНДНЦ, 2018 . - (Національний стандарт України).
Ч. 1 : ДСТУ ISO/IEC/IEEE 29119-1:2017 (ISO/IEC/IEEE 29119-1:2013, IDT). Поняття та визначення. - На заміну ДСТУ ISO/IEC/IEEE 29119-1:2015 ; Чинний від 2019-01-01. - 2018. - VI, 47 с. : рис. - Бібліогр.: с. 45-46.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 5. |
РА434842
Микіч, Христина Ігорівна.
Методи та засоби ідентифікації проблемних ситуацій на основі онтологічного підходу [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Микіч Христина Ігорівна ; Нац. ун-т "Львів. політехніка". - Львів, 2018. - 20 с. : рис., табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 6. |
РА434366
Сердюк, Ольга Юріївна.
Метод, модель та інформаційна технологія верифікації показників оптимізації періодичних операційних процесів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сердюк Ольга Юріївна ; Кременчуц. нац. ун-т ім. Михайла Остроградського. - Кременчук, 2017. - 23 с. : рис., табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 7. |
РА430405
Лисенко, Ірина Анатоліївна.
Каскадні методи побудови тестових наборів для підвищення глибини тестування в інфокомунікаційних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Ірина Анатоліївна ; Черкас. держ. технол. ун-т. - Черкаси, 2017. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 8. |
ДС152465
Лысенко, Ирина Анатольевна.
Каскадные методы построения тестовых наборов для повышения глубины тестирования в инфокоммуникационных системах [Текст] : дис. ... канд. техн. наук : 05.13.06 / Лысенко Ирина Анатольевна ; Кировоград. нац. техн. ун-т. - Кропивницкий, 2017. - 185 л. : рис., табл. - Бібліогр.: арк. 152-166.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 9. |
ВА803891
Губка, Алексей Сергеевич.
Основы тестирования информационных управляющих систем [Текст] : учеб. пособие / А. С. Губка, С. А. Губка, П. Е. Ельцов ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". - Харьков : ХАИ, 2016. - 67 с. : рис., табл. - Бібліогр.: с. 66. - 100 прим. - ISBN 978-966-662-486-7
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 10. |
РА420784
Летичевський, Олександр Олександрович.
Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 11. |
ВА812928
Литвинов, Александр Анатольевич.
Тестирование информационных систем: модульное, интеграционное, системное [Текст] : учеб. пособие для студентов инженер.-техн. спец. вузов / Литвинов А. А., Карпенко Н. В. ; Днепропетр. нац. ун-т им. Олеся Гончара. - Днепр : Лира, 2016. - 282 с. : рис., табл. - Бібліогр.: с. 272-282. - 50 прим. - ISBN 978-966-383-800-7
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 12. |
РА418279
Песчаненко, Володимир Сергійович.
Методи реалізації систем інсерційного моделювання [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Песчаненко Володимир Сергійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 40 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 13. |
РА417735
Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богдан Ірина Валентинівна ; Черніг. нац. технол. ун-т. - Чернігів, 2015. - 20 с. : рис.
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 14. |
РА418064
Губа, Антон Андрійович.
Інсерційне моделювання та верифікація багатопотокових систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Губа Антон Андрійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 15. |
ІВ221031
Vance, Stephen.
Quality code [Text] : software testing principles, practices, and patterns / Stephen Vance. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2014. - XIX, 231 p. - Бібліогр.: с. 219-220. - ISBN 978-0-321-83298-6. - ISBN 0-321-83298-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 16. |
РА410201
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Максимець Олександр Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 17. |
РА408961
Ремінний, Олександр Андрійович.
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 18. |
ВА785947
Методы тестирования и верификации программного обеспечения [Текст] : монография / Литвинов В. В. [и др.]. - Нежин : Орхідея, 2013. - 358 с. : рис., табл. - Бібліогр.: с. 352-358. - 300 прим. - ISBN 978-966-2185-33-1
Рубрики:
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| |
|
| | | |
|
| 19. |
РА402899
Гамзаєв, Рустам Олександрович.
Моделі та інформаційна технологія трасування вимог в гнучких процесах розробки програмного забезпечення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Гамзаєв Рустам Олександрович ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2013. - 20 с. : рис., табл.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 20. |
ДС140441
Гамзаев, Рустам Александрович.
Модели и информационная технология трассировки требований в гибких процессах разработки программного обеспечения [Текст] : дис. ... канд. техн. наук : 05.13.06 / Гамзаев Рустам Александрович ; Нац. техн. ин-т "Харьков. политехн. ин-т". - Харьков, 2013. - 173 л. : рис., табл. - Бібліогр.: арк. 135-144.
Рубрики:
Видання зберігається у :
Основний фонд
| |
| | |
Простий пошук
Віртуальна довідка
