Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (8)Реферативна база даних (182)
Пошуковий запит: (<.>U=З973-018.025<.>)
Загальна кількість знайдених документів : 58
Представлено документи з 1 до 20
...
1.
ДС94003
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 177 арк. - арк. 142-155

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

2.
ДС90038
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; Ін-т програм. систем НАН України. - К., 2005. - 127 арк.: рис. - Бібліогр.: арк. 104-111.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)

Видання зберігається у :
Основний фонд

3.
ДС104942
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельницький національний ун-т. - Хмельницький, 2007. - 191 арк. - арк. 121-133

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Хмельницький національний університет

Видання зберігається у :
Основний фонд

4.
ДС96777
Матвєєва, Людмила Євгенівна.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 207 арк. - арк. 163-178

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

5.
ДС97438
Летичевский, Александр Александрович.
Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / Летичевский Александр Александрович ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2005. - 138 л.: рис. - Библиогр.: л. 133-138

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

6.
РА338164
Коротун, Тетяна Михайлівна.
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Коротун Тетяна Михайлівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 19 с.: рис.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

7.
РА340028
Матвєєва, Людмила Євгенівна.
Аналіз та верифікація MSC-систем за допомогою мереж Петрі [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Матвєєва Людмила Євгенівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 17 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

8.
РА340360
Летичевський, Олександр Олександрович.
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 14 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

9.
РА343171
Панченко, Тарас Володимирович.
Композиційні методи специфікації та верифікації програмних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Панченко Тарас Володимирович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 17 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

10.
РА364117
Потієнко, Степан Валерійович.
Алгебраїчні методи верифікації асинхронних паралельних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Потієнко Степан Валерійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

11.
РА364136
Колчин, Олександр Валентинович.
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Колчин Олександр Валентинович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2009. - 16 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

12.
РА304254
Шимаров, Владимир Александрович.
Методы и инструменты контроля качества программ на основе структуры передач управления [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.11 / Шимаров Владимир Александрович ; АН БССР, Ин-т математики. - Минск, 1989. - 21 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
АН БССР; Институт математики (Минск)

Видання зберігається у :
Основний фонд

13.
РА326744
Абдуллаев, Ханмурад Ханбала оглы.
Тестирование программ по заданным путям управляющего графа [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Абдуллаев Ханмурад Ханбала оглы ; НАН Азербайджана, Ин-т кибернетики им. А. И. Гусейнова. - Баку, 2003. - 23 с.: рис., табл.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
НАН Азербайджана; Институт кибернетики имени А. И. Гусейнова (Баку)

Видання зберігається у :
Основний фонд

14.
РА321905
Багдасарян, Сурен Валерьевич.
Базисные инструментальные средства тестирования и интеграции систем на чипах при их модульно-ориентированном проектировании [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Багдасарян Сурен Валерьевич ; Ереванский НИИ математических машин. - Ереван, 2002. - 23 с.: рис.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Ереванский НИИ математических машин

Видання зберігається у :
Основний фонд

15.
РА352749
Говорущенко, Тетяна Олександрівна.
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформаційних технологій [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Говорущенко Тетяна Олександрівна ; Національний ун-т "Львівська політехніка". - Л., 2007. - 20 с.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Національний університет "Львівська політехніка" (Львів)

Видання зберігається у :
Основний фонд

16.
ВА602064
Канер, Сэм.
Тестирование программного обеспечения [Текст] / С. Канер [и др]. - 2.изд. - К. : ДиаСофт, 2000. - 544 с. - ISBN 966-7393-42-9. - ISBN 1-85032-847-1

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Фолк, Джек; Нгуен, Енг Кек

Видання зберігається у :
Основний фонд

17.
Р89895
Нечес, Виталий Валентинович.
Использование существенного множества в структурном тестировании программ [Текст] / В. В. Нечес. - Минск : [б.и.], 1999. - 19 с. - (Препр. / НАН Беларуси, Институт технической кибернетики ; № 7)

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
НАН Беларуси; Институт технической кибернетики

Видання зберігається у :

18.
ВА614252
Канер, Сэм.
Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений [Текст] : пер. с англ. / С. Канер [и др]. - К. : ДиаСофт ; М. : [б.и.], 2001. - 543 с. - ISBN 966-7393-87-9 (рус.). - ISBN 1-85032-847-1 (англ.)

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Фолк, Джек; Енг Кек Нгуен

Видання зберігається у :
Основний фонд

19.
В344980/Ч. 2
На пути к верификации C-программ [Текст]. - Новосибирск, 2001 .
Ч. 2 : Язык C-Light-kernel и его аксиоматическая семантика / РАН. СО, Институт систем информатики имени А. П. Ершова. - 2001. - 57 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 87). - Библиогр.: с.57.

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
РАН. СО; Институт систем информатики имени А. П. Ершова

Видання зберігається у :

20.
ВА643457
Дастин, Элфрид.
Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл. - ISBN 5-85582-186-2. - ISBN 020143870

Рубрикатор НБУВ:
 З973-018.025 
Тематичні рубрики:
 Випробування і налагодження програм 


Дод. точки доступу:
Рэшка, Джефф; Пол, Джон; Молодцова, Е. (пер. с англ.); Павлов, М. (пер. с англ.)

Видання зберігається у :
Основний фонд
Універсальний підсобний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського