Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 134
Представлено документи з 1 до 20
|
| | |
1.  |
В353819/3
CASE-оценка критических программных систем [Текст] = CASE-assessment of critical software systems : [в 3 т.] / под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : [б. и.], 2012. - (Проект TEMPUS-SAFEGUARD National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR)).
Т. 3 : Безопасность = Safety / В. С. Харченко [и др.]. - 2012. - 300 с. : рис., табл. - Бібліогр. в кінці розд. - 300 прим.
Тематичний рубрикатор:
Дод. точки доступу:
Харченко, Вячеслав Сергеевич \ред.\; Харченко, Вячеслав Сергеевич; Неткачева, Екатерина Игоревна; Орехова, Анастасия Александровна; Тарасюк, Ольга Михайловна; Горбенко, Анатолий Викторович; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 2. |
В353819/1
CASE-оценка критических программных систем [Текст] = CASE-assessment of critical software systems : [в 3 т.] / под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : [б. и.], 2012. - (Проект TEMPUS-SAFEGUARD National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR)).
Т. 1 : Качество = Quality / В. О. Мищенко, О. В. Поморова, Т. А. Говорущенко. - 2012. - 200 с. : рис., табл. - Бібліогр. в кінці розд. - 300 прим.
Тематичний рубрикатор:
Дод. точки доступу:
Мищенко, Виктор Олегович; Харченко, Вячеслав Сергеевич \ред.\; Поморова, Оксана Викторовна; Говорущенко, Татьяна Александровна; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 3. |
В353819/2
CASE-оценка критических программных систем [Текст] = CASE-assessment of critical software systems : [в 3 т.] / под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : [б. и.], 2012. - (Проект TEMPUS-SAFEGUARD National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR)).
Т. 2 : Надежность = Reliability / О. Н. Одарущенко [и др.]. - 2012. - 291 с. : рис., табл. - Бібліогр. в кінці розд. - 300 прим.
Тематичний рубрикатор:
Дод. точки доступу:
Харченко, Вячеслав Сергеевич \ред.\; Одарущенко, Олег Николаевич; Харченко, Вячеслав Сергеевич; Маевский, Дмитрий Андреевич; Поночовный, Юрий Леонидович; Руденко, Александр Антонович; "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 4. |
MFI5798/1-3
Oesch, Walter.
Controlling software for EMF laboratory studies [Text] : diss. / W. Oesch ; Swiss Federal institute of technology Zürich. - Zürich : [s. n.], 2006. - 172 p. - (ETH-Diss ; 16346).
Тематичний рубрикатор:
Дод. точки доступу:
Swiss Federal institute of technology Zürich
Видання зберігається у :
|
| 5. |
ІВ192932
Pham, Hoang.
Fault-tolerant software systems [Text] : techniques and applications / H. Pham. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1992. - V,125 p.:ill.
Тематичний рубрикатор:
Видання зберігається у :
|
| 6. |
ІВ196366
Konrad, Klaus.
Konzeption eines agentenbasierten, aktiven Beratungssystems für die objektorientierte Entwicklung von Softwaresystemen bei Automatisierungsprojekten [Text] : Diss. / K. Konrad ; Universität Stuttgart. Fak. Elektrotechnik. - Stuttgart : [б.в.], 1998. - 151 S.: Abb. - Бібліогр.: S.: 140-151.
Тематичний рубрикатор:
Дод. точки доступу:
Universität Stuttgart. Fak. Elektrotechnik
Видання зберігається у :
|
| 7. |
ІВ198721/ z 1 dod.
Runeson, Per.
Models for estimation of software faults and failures in inspection and test [Text] : diss. / P. Runeson ; Lund University. Department of communication systems. - Lund : [б.в.], 1997. - 214 p.: fig. - Бібліогр.: v kinci st.
Тематичний рубрикатор:
Дод. точки доступу:
Lund University. Department of communication systems
Видання зберігається у :
|
| 8. |
ІВ215288
Olszewska, Marta.
On the impact of rigorous approaches on the quality of development [Text] : diss. / Marta Olszewska ; Div. for natural sciences a. technology of Åbo akad. univ. - Turku : Åbo akademi univ., 2011. - Pag. var. : fig. - (TUCS diss., ISSN 1239-1833 ; № 143, December 2011). - Бібліогр. в кінці ст.
Тематичний рубрикатор:
Дод. точки доступу:
Åbo akademi university. Division for natural sciences and technology
Видання зберігається у :
Основний фонд
|
| 9. |
ІС14053
Güdemann, Matthias.
Qualitative and quantitative formal model-based safety analysis. Push the safety button [Text] : diss. / Mathias Güdemann ; Die Fak. für Informatik der Otto-von-Guericke-Univ. Magdeburg. - Magdeburg, 2011. - VIII, 195 p. : fig. - Бібліогр.: с. 179-195.
Тематичний рубрикатор:
Дод. точки доступу:
Otto-von-Guericke-Universität Magdeburg. Fakultät für Informatik
Видання зберігається у :
Основний фонд
|
| 10. |
ВА768018
Поморова, Оксана Викторовна.
Safety Case методы и средства получения и анализа данных [Текст] = Safety Case oriented system measurement and data analysis : тренинг / О. В. Поморова, Д. Н. Медзатый, Д. А. Иванчишин ; под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : Лысенко И. Б., 2013. - 157 с. : рис., табл. - Текст рос., частково англ., укр. - Бібліогр.: с. 141-142. - 300 прим.
Тематичний рубрикатор:
Дод. точки доступу:
Медзатый, Дмитрий Николаевич; Иванчишин, Дмитрий Александрович; Харченко, В. С. (ред.); "Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 11. |
ІС14388
Malishevsky, Alexey Grigorievich.
Test case prioritization [Text] : diss. / Alexey Grigorievich Malishevsky ; Oregon state univ. - [Oregon] , 2003. - 272 l. : fig., tab. - Бібліогр.: арк. 236-254.
Тематичний рубрикатор:
Дод. точки доступу:
Oregon state university
Видання зберігається у :
Основний фонд
|
| 12. |
ІВ192710
Symposium on assessment of quality software development tools (3 ; Washington).
Third symposium on assessment of quality software development tools, June 7-9, 1994, Washington: Proceedings [Text] / ed. E. Nahouraii ; IEEE computer soc. technical committee on software engineering. - Los Alamitos, California[etc.] : IEEE computer soc.press, 1994. - IX, 245 p.:il.
Дод. точки доступу:
Nahouraii, Ez (ed.); IEEE computer soc. technical committee on software engineering
Видання зберігається у :
|
| 13. |
РА420274
Руденко, Олександр Антонович.
Імовірнісні моделі та методи оцінювання надійності програмних засобів з урахуванням вторинних дефектів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Руденко Олександр Антонович ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків, 2015. - 20 с. : табл., рис.
Тематичний рубрикатор:
Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет
Видання зберігається у :
Основний фонд
|
| 14. |
СТ11213
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування [Текст]. - На заміну ДСТУ ISO/IEC 25051:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2021. - V, 24 с. : табл. - (Національний стандарт України). - Бібліогр.: с. 22.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 15. |
СТ9578
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Моделі якості системи та програмних засобів [Текст]. - На заміну ДСТУ ISO/IEC 25010:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - VI, 32 с. : рис., табл. - (Національний стандарт України). - Бібліогр.: с. 28-29.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 16. |
СТ9654
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Настанова з оцінювання для розробників, придбавачів і незалежних оцінювачів [Текст]. - На заміну ДСТУ ISO/IEC 25041:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - VIII, 39 с. : рис., табл. - (Національний стандарт України). - Бібліогр.: с. 38.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 17. |
СТ9579
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Планування та керування [Текст]. - На заміну ДСТУ ISO/IEC 25001:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - V, 12 с. : табл. - (Національний стандарт України). - Бібліогр.: с. 10.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 18. |
СТ9682/2
Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів [Текст]. - Київ : УкрНДНЦ, [20--] . - (Національний стандарт України).
Ч. 2 : ДСТУ ISO/IEC 15026-2:2018 (ISO/IEC 15026-2:2011, IDT). Сценарій гарантування. - На заміну ДСТУ ISO/IEC 15026-2:2015 ; Чинний від 2020-01-01. - 2019. - IV, 10 с. - Бібліогр.: с. 6-7.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 19. |
СТ9682/3
Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів [Текст]. - Київ : УкрНДНЦ, [20--] . - (Національний стандарт України).
Ч. 3 : ДСТУ ISO/IEC 15026-3:2018 (ISO/IEC 15026-3:2015, IDT). Рівні цілісності системи. - На заміну ДСТУ ISO/IEC 15026-3:2015 ; Чинний від 2020-01-01. - 2019. - IV, 17 с. : рис., табл. - Бібліогр.: с. 16.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| 20. |
СТ9682/4
Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів [Текст]. - Київ : УкрНДНЦ, [20--] . - (Національний стандарт України).
Ч. 4 : ДСТУ ISO/IEC 15026-4:2018 (ISO/IEC 15026-4:2012, IDT). Гарантування в життєвому циклі. - На заміну ДСТУ ISO/IEC 15026-4:2015 ; Чинний від 2020-01-01. - 2019. - V, 21 с. : табл. - Бібліогр.: с. 18-19.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
| | |
Книжкові видання
