Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| | |
|
| | | |
|
| 1. |
ДС94003
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк. - арк. 142-155
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 2. |
ДС90038
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис. - Бібліогр.: арк. 104-111.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 3. |
ДС104942
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк. - арк. 121-133
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 4. |
ДС96777
Матвєєва, Людмила Євгенівна.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 207 арк. - арк. 163-178
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 5. |
ДС97438
Летичевский, Александр Александрович.
Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Летичевский Александр Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2005. - 138 л.: рис. - Библиогр.: л. 133-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 с. - (Библиотека студента). - ISBN 966-552-065-2. - ISBN 5-7315-0095-9
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 17. |
ВА602064
Канер, Сэм.
Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 18. |
ВА609929
Корченко, Олександр Григорович.
Захист та зламування програм [Текст] : навч. посібник для студ. напряму "Інформаційна безпека" / О. Г. Корченко, А. С. Морозов ; Національний авіаційний ун-т. - К. : НАУ, 2001. - 83 с. - ISBN 966-598-108-0
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 19. |
ВА609789
Бройдо, Владимир Львович.
Вычислительные системы, сети и телекоммуникации [Текст] : лабораторный практикум / В. Л. Бройдо ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : СПбГИЭУ, 2001. - 96 с. - ISBN 5-88996-224-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 20. |
Р89895
Нечес, Виталий Валентинович.
Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)
Рубрики:
Видання зберігається у :
| |
| | |
Простий пошук
Віртуальна довідка