Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 133
Представлено документи з 1 до 20
|
| | |
1.  |
ДС83046
Тарасюк, Ольга Михайловна.
Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения [Текст] : дис... канд. техн. наук: 05.13.06 / Тарасюк Ольга Михайловна ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". - Х., 2004. - 201 л.: рис. - Библиогр.: л. 159-177.
Тематичний рубрикатор:
Дод. точки доступу:
Национальный аэрокосмический университет имени Н. Е. Жуковского "Харьковский авиационный институт"
Видання зберігається у :
Основний фонд
|
| 2. |
ДС107354
Одарущенко, Елена Борисовна.
Моделирование отказоустойчивых компьютерных систем с учетом изменяющихся параметров потоков отказов и восстановлений программных средств [Текст] : дис... канд. техн. наук: 01.05.02 / Одарущенко Елена Борисовна ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". - Х., 2007. - 210 л.: табл., рис. - Библиогр.: л. 194-210.
Тематичний рубрикатор:
Дод. точки доступу:
Национальный аэрокосмический университет имени Н. Е. Жуковского "Харьковский авиационный институт"
Видання зберігається у :
Основний фонд
|
| 3. |
ДС96290
Дідковська, Марина Віталіївна.
Методи оцінки та засоби підвищення надійності програмного забезпечення [Текст] : дис... канд. техн. наук: 05.13.06 / Дідковська Марина Віталіївна ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2005. - 181 арк.: рис. - арк. 160-169.
Тематичний рубрикатор:
Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
| 4. |
ДС97624
Коваль, Галина Іванівна.
Моделі і методи інженерії якості програмних систем на ранніх стадіях життєвого циклу [Текст] : дис... канд. фіз.-мат. наук: 01.05.03 / Коваль Галина Іванівна ; Ін-т програм. систем НАН України. - К., 2005. - 144 арк.: рис., табл. - Бібліогр.: арк. 122-132.
Тематичний рубрикатор:
Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)
Видання зберігається у :
Основний фонд
|
| 5. |
ДС98311
Гордеев, Александр Александрович.
Модели, методы и информационная технология оценки качества программного обеспечения на основе профилирования и засева дефектов [Текст] : дис... канд. техн. наук: 05.13.06 / Гордеев Александр Александрович ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". - Х., 2006. - 207 л. - Библиогр.: л. 162-173.
Тематичний рубрикатор:
Дод. точки доступу:
Национальный аэрокосмический университет имени Н. Е. Жуковского "Харьковский авиационный институт"
Видання зберігається у :
Основний фонд
|
| 6. |
РА340799
Коваль, Галина Іванівна.
Моделі і методи інженерної якості програмних систем на ранніх стадіях життєвого циклу [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Коваль Галина Іванівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2005. - 19 с.
Тематичний рубрикатор:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 7. |
РА349121
Гордєєв, Олександр Олександрович.
Моделі, методи та інформаційна технологія оцінки якості програмного забезпечення на основі профілювання та засіву дефектів [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Гордєєв Олександр Олександрович ; Національний аерокосмічний ун-т ім. М.Є.Жуковського "Харківський авіаційний ін-т". - Х., 2007. - 20 с.
Тематичний рубрикатор:
Дод. точки доступу:
Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
| 8. |
РА359539
Слабоспицька, Ольга Олександрівна.
Моделі та методи експертного оцінювання у життєвому циклі програмних систем [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Слабоспицька Ольга Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2008. - 19 с.
Тематичний рубрикатор:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 9. |
РА360777
Карпусь, Ігор Васильович.
Метамодельні методи підвищення ефективності програмних систем [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Карпусь Ігор Васильович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2008. - 21 с.
Тематичний рубрикатор:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 10. |
РА365635
Шадхін, Володимир Юхимович.
Метод захисту програмних засобів від прихованого сканування в комп'ютерних системах [Текст] : автореф. дис... канд. техн. наук: 05.13.05 / Шадхін Володимир Юхимович ; Черкаський держ. технологічний ун-т. - Черкаси, 2009. - 20 с.
Тематичний рубрикатор:
Дод. точки доступу:
Черкаський державний технологічний університет
Видання зберігається у :
Основний фонд
|
| 11. |
РА341785
Дідковська, Марина Віталіївна.
Методи оцінки та засоби підвищення надійності програмного забезпечення [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Дідковська Марина Віталіївна ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 2006. - 19 с.: рис.
Тематичний рубрикатор:
Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
| 12. |
РА330665
Тарасюк, Ольга Михайлівна.
Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Тарасюк Ольга Михайлівна ; Національний аерокосмічний ун-т ім. М.Є.Жуковського "Харківський авіаційний ін-т". - Х., 2004. - 20 с.
Тематичний рубрикатор:
Дод. точки доступу:
Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
| 13. |
РА355017
Одарущенко, Олена Борисівна.
Моделювання відмовостійких комп'ютерних систем з урахуванням зміни параметрів потоків відмов і відновлень програмних засобів [Текст] : автореф. дис... канд. техн. наук: 01.05.02 / Одарущенко Олена Борисівна ; Національний аерокосмічний ун-т ім. М.С.Жуковського "Харківський авіаційний ін-т". - Х., 2007. - 19 с.
Тематичний рубрикатор:
Дод. точки доступу:
Національний аерокосмічний університет імені М. Є. Жуковського "Харківський авіаційний інститут"
Видання зберігається у :
Основний фонд
|
| 14. |
РА369498
Петрик, Валерія Леонідівна.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Петрик Валерія Леонідівна ; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". - Х., 2009. - 19 с.
Тематичний рубрикатор:
Дод. точки доступу:
"Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
| 15. |
ДС109597
Слабоспицька, Ольга Олександрівна.
Моделі та методи експертного оцінювання у життєвому циклі програмних систем [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Слабоспицька Ольга Олександрівна ; Ін-т програм. систем НАН України. - К., 2008. - 149 арк. : рис., табл. - Бібліогр.: арк. 131-144.
Тематичний рубрикатор:
Дод. точки доступу:
Національна академія наук України; Інститут програмних систем (Київ)
Видання зберігається у :
Основний фонд
|
| 16. |
ВА591299
Корольков, Юрий Дмитриевич.
Математические модели качества программных средств [Текст] / Ю. Д. Корольков. - Иркутск : Изд-во Иркутского ун-т, 1995. - 160 с.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 17. |
ВА595755
Гинкул, Г. П..
Проблема 2000 года. Технологические решения [Текст] / Г. П. Гинкул [и др]. - М. : Нолидж, 1999. - 304 с.
Тематичний рубрикатор:
Дод. точки доступу:
Соловьев, С. Ю.; Сотников, А. Н.
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
| 18. |
ВА599170
Воробьева, Наталия И..
Надежность компьютерных систем [Текст] / Н. И. Воробьева [и др]. - К. : ЧП "Корнійчук", 2000. - 144 с.: ил.
Тематичний рубрикатор:
Дод. точки доступу:
Корнейчук, В. И.; Савчук, Е. В.
Видання зберігається у :
Основний фонд
|
| 19. |
ВА603923
Опыт решения "Проблемы 2000 года" и процессы информатизации [Текст] : метод. материалы / НАН Беларуси, Институт технической кибернетики ; авт.-сост. В. В. Анищенко [и др.]. - Минск : [б.и.], 2000. - 90 с.
Тематичний рубрикатор:
Дод. точки доступу:
Анищенко, Владимир Викторович (авт.-сост.); НАН БеларусиИнститут технической кибернетики (Минск)
Видання зберігається у :
Основний фонд
|
| 20. |
ВА612630
Молодцова, Ольга Пилипівна.
Управління якістю програмної продукції [Текст] : навч. посібник / О. П. Молодцова ; Київський національний економічний ун-т. - К. : КНЕУ, 2001. - 248 с. - Бібліогр.: с. 243-245.
Тематичний рубрикатор:
Дод. точки доступу:
Київський національний економічний університет
Видання зберігається у :
Основний фонд
|
| | |
Книжкові видання
