 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=З973-018.025<.>) |
Загальна кількість знайдених документів : 58
Представлено документи з 1 до 20
|
| | |
1.  |
ВА862565
Методи і засоби контролю артефактів процесу проєктування програмно-алгоритмічної складової систем критичного призначення [Текст] : монографія / Шкарупило В. В. [та ін.] ; за заг. ред. Шкарупила В. В. ; НАН України, Ін-т проблем моделювання в енергетиці ім. Г. Є. Пухова, Ін-т електродинаміки. - Вінниця : Європейська наукова платформа, 2023. - 118 с. : рис., табл. - Бібліогр.: с. 111-118. - 100 прим. - ISBN 978-617-8126-22-3Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Шкарупило, Вадим Вікторович; Блінов, Ігор Вікторович; Кучанський, Владислав Володимирович; Давидюк, Андрій Вікторович; Дмитрієва, Дар'я Олександрівна; Шкарупило, Вадим Вікторович (ред.); Національна академія наук України; Інститут проблем моделювання в енергетиці імені Г. Є. Пухова (Київ); Інститут електродинаміки (Київ)
Видання зберігається у :
Основний фонд
| | 2. |
РА439425
Чопей, Ратібор Степанович.
Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Чопей Ратібор Степанович ; Нац. ун-т "Львів. політехніка". - Львів, 2019. - 20 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
| | 3. |
РА434842
Микіч, Христина Ігорівна.
Методи та засоби ідентифікації проблемних ситуацій на основі онтологічного підходу [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 / Микіч Христина Ігорівна ; Нац. ун-т "Львів. політехніка". - Львів, 2018. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Львівська політехніка", національний університет
Видання зберігається у :
Основний фонд
| | 4. |
РА434366
Сердюк, Ольга Юріївна.
Метод, модель та інформаційна технологія верифікації показників оптимізації періодичних операційних процесів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сердюк Ольга Юріївна ; Кременчуц. нац. ун-т ім. Михайла Остроградського. - Кременчук, 2017. - 23 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Кременчуцький національний університет імені Михайла Остроградського
Видання зберігається у :
Основний фонд
| | 5. |
РА430405
Лисенко, Ірина Анатоліївна.
Каскадні методи побудови тестових наборів для підвищення глибини тестування в інфокомунікаційних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Ірина Анатоліївна ; Черкас. держ. технол. ун-т. - Черкаси, 2017. - 20 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Черкаський державний технологічний університет
Видання зберігається у :
Основний фонд
| | 6. |
ДС152465
Лысенко, Ирина Анатольевна.
Каскадные методы построения тестовых наборов для повышения глубины тестирования в инфокоммуникационных системах [Текст] : дис. ... канд. техн. наук : 05.13.06 / Лысенко Ирина Анатольевна ; Кировоград. нац. техн. ун-т. - Кропивницкий, 2017. - 185 л. : рис., табл. - Бібліогр.: арк. 152-166.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Кировоградский национальный технический университет
Видання зберігається у :
Основний фонд
| | 7. |
РА420784
Летичевський, Олександр Олександрович.
Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 8. |
РА418279
Песчаненко, Володимир Сергійович.
Методи реалізації систем інсерційного моделювання [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Песчаненко Володимир Сергійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 9. |
РА417735
Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богдан Ірина Валентинівна ; Черніг. нац. технол. ун-т. - Чернігів, 2015. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернігівський національний технологічний університет
Видання зберігається у :
Основний фонд
| | 10. |
РА418064
Губа, Антон Андрійович.
Інсерційне моделювання та верифікація багатопотокових систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Губа Антон Андрійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
| | 11. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 12. |
РА410201
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Максимець Олександр Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014. - 20 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 13. |
РА408961
Ремінний, Олександр Андрійович.
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
| | 14. |
ВА785947
Методы тестирования и верификации программного обеспечения [Текст] : монография / Литвинов В. В. [и др.]. - Нежин : Орхідея, 2013. - 358 с. : рис., табл. - Бібліогр.: с. 352-358. - 300 прим. - ISBN 978-966-2185-33-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Литвинов, В. В.; Казимир, В. В.; Ляхов, А. Л.; Путиенко, И. В.; Богдан, И. В.
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
| | 15. |
РА402899
Гамзаєв, Рустам Олександрович.
Моделі та інформаційна технологія трасування вимог в гнучких процесах розробки програмного забезпечення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Гамзаєв Рустам Олександрович ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2013. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
| | 16. |
ДС140441
Гамзаев, Рустам Александрович.
Модели и информационная технология трассировки требований в гибких процессах разработки программного обеспечения [Текст] : дис. ... канд. техн. наук : 05.13.06 / Гамзаев Рустам Александрович ; Нац. техн. ин-т "Харьков. политехн. ин-т". - Харьков, 2013. - 173 л. : рис., табл. - Бібліогр.: арк. 135-144.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харьковский политехнический институт", национальный технический университет
Видання зберігається у :
Основний фонд
| | 17. |
ДС144956
Максимец, Александр Николаевич.
Алгебро-автоматные методы анализа процедурных программ и реактивных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.01 / Максимец Александр Николаевич ; Киев. нац. ун-т им. Т. Г. Шевченка. - Киев, 2013. - 148 л. : рис., табл. - Бібліогр.: арк. 137-145.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Киевский национальнный университет имени Т. Г. Шевченка (Киев)
Видання зберігається у :
Основний фонд
| | 18. |
ІВ221053
Gärtner, Markus.
ATDD by example. A practical guide to acceptance test-driven development [Text] / Markus Gärtner ; forew. by Kent Beck and Dale Emery. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2013. - XXIII, 212 p. - (The Addison-Wesley signature series. A Kent Beck signature book). - Бібліогр.: с. 201-203. - ISBN 978-0-321-78415-5. - ISBN 0-321-78415-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Beck, Kent (авт. передм.); Emery, Dale (авт. передм.)
Видання зберігається у :
Основний фонд
Відділ обмінно-резервних фондів
| | 19. |
ВС54682
Майерс, Гленфорд.
Искусство тестирования программ [Текст] / Гленфорд Майерс, Том Баджетт, Кори Сандлер ; [пер. с англ. и ред. А. Г. Гузикевича]. - 3-е изд. - М. ; СПб. ; К. : Вильямс : Диалектика, 2012. - 270 с. : рис., табл. - Дод. тит. арк. англ. - 1000 прим. - ISBN 978-5-8459-1796-6 (рус.). - ISBN 978-1-118-03196-4 (англ.)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Баджетт, Том; Сандлер, Кори; Гузикевич, А. Г. (пер., ред.)
Видання зберігається у :
Універсальний підсобний фонд
| | 20. |
ІВ222412
Graham, Dorothy.
Experiences of test automation [Text] : case studies of software test automation / Dorothy Graham, Mark Fewster ; forew. by Lee Copeland. - Upper Saddle River, NJ[etc.] : Addison-Wesley, 2012. - LII, 617 p. : fig., tab. - ISBN 13: 978-0-321-75406-6. - ISBN 10: 0-321-75406-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Fewster, Mark; Copeland, Lee (авт. передм.)
Видання зберігається у :
Основний фонд
|
| | |
|
|
Простий
Розширений
Пам`ятка користувача