Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 133
Представлено документи з 1 до 20
|
| |
1. | Білас О. Є. Якість програмного забезпечення та тестування : навч. посіб. / О. Білас ; Нац. ун-т "Львів. політехніка". - Л. : Вид-во Львів. політехніки, 2011. - 214 с. : табл. (Шифр: ВА745927)
|
2. | Мищенко В. О. Энергетический анализ программного обеспечения с примерами реализации для Ада-программ / В. О. Мищенко ; Харьковский национальный ун-т им. В.Н.Каразина. - Х. : ХНУ им. В. Н. Каразина, 2007. - 128 с.: рис., табл. (Шифр: ВА694056)
|
3. | Липаев В. В. Функциональная безопасность программых средств / В. В. Липаев ; Институт системного программирования РАН. - М. : СИНТЕГ, 2004. - 348 с. - (Серия "Управление качеством") (Шифр: ВА652795)
|
4. | Тарасюк О. М. Формальные технологии разработки безопасных компьютерных систем : практикум / О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : НАУ "ХАИ", 2012. - 74 с. : рис., табл. (Шифр: ВА762908)
|
5. | Молодцова О. П. Управління якістю програмної продукції : Навч. посібник / О. П. Молодцова ; Київський національний економічний ун-т. - К. : КНЕУ, 2001. - 248 с. (Шифр: ВА612630)
|
6. | Технологические решения проблемы 2000 года / Г. П. Гинкул [та ін.]. - М. : Весь мир, 1999. - 200 с. (Шифр: ВБ/40)
|
7. | Говорущенко Т. О. Теоретичні та прикладні засади інформаційної технології оцінювання достатності інформації щодо якості у специфікаціях вимог до програмного забезпечення : автореф. дис. ... д-ра техн. наук : 05.13.06 / Говорущенко Тетяна Олександрівна ; Укр. акад. друкарства. - Львів, 2018. - 43 с. : рис. (Шифр: РА434786)
|
8. | Говорущенко Т. О. Теоретичні та прикладні засади інформаційної технології оцінювання достатності інформації щодо якості у специфікаціях вимог до програмного забезпечення : дис. ... д-ра техн. наук : 05.13.06 / Говорущенко Тетяна Олександрівна ; Хмельниц. нац. ун-т, Укр. акад. друкарства. - Хмельницький, 2018. - 421, [20] арк. : рис., табл. (Шифр: ДС151564)
|
9. | Системы и технологии высокой готовности : лекц. материал / О. Н. Одарущенко [и др.] ; под ред. О. Н. Одарущенко, В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", Проект TEMPUS-SAFEGUARD Natsonal safeware engineering network of centres of innovative Academia-industryHandshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR). - Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", 2013. - 237 с. : рис., табл. (Шифр: ВА774035)
|
10. | Системы и технологии высокой готовности : практикум / О. Н. Одарущенко [и др.] ; под ред. О. Н. Одарущенко, В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", Проект TEMPUS-SAFEGUARD Natsonal safeware engineering network of centres of innovative Academia-industryHandshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR). - Х. : ХАИ, 2013. - 96 с. : рис., табл. (Шифр: ВА772551)
|
11. | Андрейко В. М. Розвиток методів оцінки якості програмного забезпечення засобів вимірювальної техніки під час сертифікаційних випробувань : автореф. дис. ... канд. техн. наук : 05.01.02 / Андрейко Віталія Миколаївна ; Нац. наук. центр "Ін-т метрології". - Харків, 2017. - 20 с. : рис., табл. (Шифр: РА433309)
|
12. | Робоча програма навчальної дисципліни "Технології тестування програмних продуктів" для студентів напряму підготовки 6.050101 "Комп'ютерні науки" всіх форм навчання / Харк. нац. екон. ун-т ; [уклад. Ю. І. Скорін]. - Х. : Вид. ХНЕУ, 2013. - 39 с. : табл. (Шифр: Р121794)
|
13. | Вигерс К. И. Разработка требований к программному обеспечению : Практические приемы сбора требований и управления ими при разработке программного продукта: Пер. с англ. / К. И. Вигерс. - М. : Русская Редакция, 2004. - 555 с.: рис. (Шифр: ВА648270)
|
14. | Програмна інженерія. Якість продукту. Ч. 4:ДСТУ ISO/IEC TR 9126-4:2012. Метрики якості під час використовування (ISO/IEC TR 9126-4:2004, IDT). - К., 2013. - V, 49 с. : табл. (Шифр: СТ5397/4)
|
15. | Програмна інженерія. Якість продукту. Ч. 3:ДСТУ ISO/IEC TR 9126-3:2012. Внутрішні метрики (ISO/IEC TR 9126-3:2003, IDT). - К., 2013. - VII, 46 с. : табл. (Шифр: СТ5397/3)
|
16. | Програмна інженерія. Якість продукту. Ч. 2:ДСТУ ISO/IEC TR 9126-2:2008. Зовнішні метрики (ISO/IEC TR 9126-2:2003, IDT) . - К., 2011. - VI, 85 с. : табл. (Шифр: СТ5397/2)
|
17. | Програмна інженерія. Якість продукту. Ч. 1:ДСТУ ISO/IEC 9126-1:2013. Модель якості (ISO/IEC 9126-1:2001, IDT). - 2014. - V, 20 с. : рис. (Шифр: СТ5397/1)
|
18. | Гинкул Г. П. Проблема 2000 года. Технологические решения / Г. П. Гинкул [и др]. - М. : Нолидж, 1999. - 304 с. (Шифр: ВА595755)
|
19. | Применение компьютерных технологий для оценивания надежности и безопасности программно-технических комплексов / Ю. Н. Соколов [и др.] ; под ред. Ю. Н. Соколова, В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ", Проект "TEMPUS-SAFEGUARD" National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR). - Х. : [б. и.], 2013. - 458 с. : рис., табл. (Шифр: ВА772673)
|
20. | Оценка и аттестация зрелости процессов создания и сопровождения программных средств и информационных систем (ISO/IEC TR 15504-CMM) / пер. с англ. А. С. Агапов [и др.]. - М. : Книга и бизнес, 2001. - 348 с.: рис. - (АИТИ системный интегратор) (Информационные технологии для инженеров) (Шифр: ВС35693)
|
| |