Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
| 1. | ДС94003 Панченко Т. В. Композиційні методи специфікації та верифікації програмних систем [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк.
|
| 2. | ДС90038 Коротун Т. М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : Дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис.
|
| 3. | ДС104942 Говорущенко Т. О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк.
|
| 4. | ДС96777 Матвєєва Л. Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 207 арк.
|
| 5. | ДС97438 Летичевский А. А. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Летичевский Александр Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2005. - 138 л.: рис.
|
| 6. | РА338164 Коротун Т. М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 19 с.: рис.
|
| 7. | РА340028 Матвєєва Л. Є. Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 17 с.
|
| 8. | РА340360 Летичевський О. О. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 14 с.
|
| 9. | РА343171 Панченко Т. В. Композиційні методи специфікації та верифікації програмних систем [Текст] : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 17 с.
|
| 10. | РА364117 Потієнко С. В. Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Потієнко Степан Валерійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.
|
| 11. | РА364136 Колчин О. В. Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Колчин Олександр Валентинович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.
|
| 12. | РА304254 Шимаров В. А. Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : Автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.
|
| 13. | РА326744 Абдуллаев Х. Х. Тестирование программ по заданным путям управляющего графа [Текст] : Автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.
|
| 14. | РА321905 Багдасарян С. В. Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : Автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.
|
| 15. | РА352749 Говорущенко Т. О. Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Національний ун-т "Львівська політехніка". - Л., 2007. - 20 с.
|
| 16. | ВА600048 Пустоваров В. И. Ассемблер: Программирование и анализ корректности машинных программ [Текст] / В. И. Пустоваров. - К. : Ирина ; К. : BHV, 2000. - 479 с. - (Библиотека студента)
|
| 17. | ВА602064 Канер С. Тестирование программного обеспечения [Текст] / С. Канер [и др]. - К. : ДиаСофт, 2000. - 544 с.
|
| 18. | ВА609929 Корченко О. Г. Захист та зламування програм [Текст] : Навч. посібник для студ. напряму "Інформаційна безпека" / О. Г. Корченко, А. С. Морозов ; Національний авіаційний ун-т. - К. : НАУ, 2001. - 83 с.
|
| 19. | ВА609789 Бройдо В. Л. Вычислительные системы, сети и телекоммуникации [Текст] : Лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с.
|
| 20. | Р89895 Нечес В. В. Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)
|
| | |
Простий пошук
Віртуальна довідка