Пошуковий запит: (<.>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.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний економічний університет
Видання зберігається у :
Основний фонд
|
| |