Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
1.  |
РА304254
Шимаров, Владимир Александрович.
Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
АН БССР; Институт математики (Минск)
Видання зберігається у :
Основний фонд
|
| 2. |
РА321905
Багдасарян, Сурен Валерьевич.
Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский НИИ математических машин
Видання зберігається у :
Основний фонд
|
| 3. |
РА326744
Абдуллаев, Ханмурад Ханбала оглы.
Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)
Видання зберігається у :
Основний фонд
|
| 4. |
РА340028
Матвєєва, Людмила Євгенівна.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 5. |
РА340360
Летичевський, Олександр Олександрович.
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 6. |
РА338164
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 7. |
РА343171
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 17 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 8. |
РА352749
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Національний ун-т "Львівська політехніка". - Л., 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний університет "Львівська політехніка" (Львів)
Видання зберігається у :
Основний фонд
|
| 9. |
РА364136
Колчин, Олександр Валентинович.
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Колчин Олександр Валентинович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 10. |
РА364117
Потієнко, Степан Валерійович.
Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Потієнко Степан Валерійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 11. |
РА377687
 Лисенко, Сергій Миколайович.
Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Сергій Миколайович ; Терноп. нац. екон. ун-т. - Т., 2010. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Тернопільський національний економічний університет
Видання зберігається у :
Основний фонд
|
| 12. |
РА402899
Гамзаєв, Рустам Олександрович.
Моделі та інформаційна технологія трасування вимог в гнучких процесах розробки програмного забезпечення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Гамзаєв Рустам Олександрович ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2013. - 20 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| 13. |
РА408961
Ремінний, Олександр Андрійович.
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 14. |
РА410201
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Максимець Олександр Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ, 2014. - 20 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 15. |
РА418064
Губа, Антон Андрійович.
Інсерційне моделювання та верифікація багатопотокових систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Губа Антон Андрійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 16. |
РА418279
Песчаненко, Володимир Сергійович.
Методи реалізації систем інсерційного моделювання [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Песчаненко Володимир Сергійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 17. |
РА417735
Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богдан Ірина Валентинівна ; Черніг. нац. технол. ун-т. - Чернігів, 2015. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернігівський національний технологічний університет
Видання зберігається у :
Основний фонд
|
| 18. |
РА420784
Летичевський, Олександр Олександрович.
Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 19. |
РА430405
Лисенко, Ірина Анатоліївна.
Каскадні методи побудови тестових наборів для підвищення глибини тестування в інфокомунікаційних системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Ірина Анатоліївна ; Черкас. держ. технол. ун-т. - Черкаси, 2017. - 20 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Черкаський державний технологічний університет
Видання зберігається у :
Основний фонд
|
| 20. |
РА434366
Сердюк, Ольга Юріївна.
Метод, модель та інформаційна технологія верифікації показників оптимізації періодичних операційних процесів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сердюк Ольга Юріївна ; Кременчуц. нац. ун-т ім. Михайла Остроградського. - Кременчук, 2017. - 23 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Кременчуцький національний університет імені Михайла Остроградського
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача