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