Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 133
Представлено документи з 1 до 20
|
| | |
| 1. | CASE-оценка критических программных систем. Т. 3:Безопасность / В. С. Харченко [и др.]. - 2012. - 300 с. : рис., табл. (Шифр: В353819/3)
|
| 2. | Мищенко В. О. CASE-оценка критических программных систем. Т. 1:Качество / В. О. Мищенко, О. В. Поморова, Т. А. Говорущенко. - 2012. - 200 с. : рис., табл. (Шифр: В353819/1)
|
| 3. | CASE-оценка критических программных систем. Т. 2:Надежность / О. Н. Одарущенко [и др.]. - 2012. - 291 с. : рис., табл. (Шифр: В353819/2)
|
| 4. | Oesch W. Controlling software for EMF laboratory studies : Diss. / W. Oesch ; Swiss Federal institute of technology Zürich. - Zürich : [s. n.], 2006. - 172 p. - (ETH-Diss ; 16346) (Шифр: MFI5798/1-3)
|
| 5. | Pham H. Fault-tolerant software systems : Techniques and applications / H. Pham. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1992. - V,125 p.:ill. (Шифр: ІВ192932)
|
| 6. | Konrad K. Konzeption eines agentenbasierten, aktiven Beratungssystems für die objektorientierte Entwicklung von Softwaresystemen bei Automatisierungsprojekten : Diss. / K. Konrad ; Universität Stuttgart. Fak. Elektrotechnik. - Stuttgart : [б.в.], 1998. - 151 S.: Abb. (Шифр: ІВ196366)
|
| 7. | Runeson P. Models for estimation of software faults and failures in inspection and test : Diss. / P. Runeson ; Lund University. Department of communication systems. - Lund : [б.в.], 1997. - 214 p.: fig. (Шифр: ІВ198721/ z 1 dod.)
|
| 8. | Olszewska M. On the impact of rigorous approaches on the quality of development : 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) (Шифр: ІВ215288)
|
| 9. | Güdemann M. Qualitative and quantitative formal model-based safety analysis. Push the safety button : diss. / Mathias Güdemann ; Die Fak. für Informatik der Otto-von-Guericke-Univ. Magdeburg. - Magdeburg, 2011. - VIII, 195 p. : fig. (Шифр: ІС14053)
|
| 10. | Поморова О. В. Safety Case методы и средства получения и анализа данных : тренинг / О. В. Поморова, Д. Н. Медзатый, Д. А. Иванчишин ; под ред. В. С. Харченко ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "ХАИ". - Х. : Лысенко И. Б., 2013. - 157 с. : рис., табл. (Шифр: ВА768018)
|
| 11. | Malishevsky A. G. Test case prioritization : diss. / Alexey Grigorievich Malishevsky ; Oregon state univ. - [Oregon] , 2003. - 272 l. : fig., tab. (Шифр: ІС14388)
|
| 12. | 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 / ed. E. Nahouraii ; IEEE computer soc. technical committee on software engineering. - Los Alamitos, California[etc.] : IEEE computer soc.press, 1994. - IX, 245 p.:il. (Шифр: ІВ192710)
|
| 13. | Руденко О. А. Імовірнісні моделі та методи оцінювання надійності програмних засобів з урахуванням вторинних дефектів : автореф. дис. ... канд. техн. наук : 05.13.06 / Руденко Олександр Антонович ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків, 2015. - 20 с. : табл., рис. (Шифр: РА420274)
|
| 14. | Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування. - Київ : УкрНДНЦ, 2021. - V, 24 с. : табл. - (Національний стандарт України) (Шифр: СТ11213)
|
| 15. | Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Моделі якості системи та програмних засобів. - Київ : УкрНДНЦ, 2018. - VI, 32 с. : рис., табл. - (Національний стандарт України) (Шифр: СТ9578)
|
| 16. | Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Настанова з оцінювання для розробників, придбавачів і незалежних оцінювачів. - Київ : УкрНДНЦ, 2018. - VIII, 39 с. : рис., табл. - (Національний стандарт України) (Шифр: СТ9654)
|
| 17. | Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Планування та керування. - Київ : УкрНДНЦ, 2018. - V, 12 с. : табл. - (Національний стандарт України) (Шифр: СТ9579)
|
| 18. | Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів. Ч. 2:ДСТУ ISO/IEC 15026-2:2018 (ISO/IEC 15026-2:2011, IDT). Сценарій гарантування. - 2019. - IV, 10 с. (Шифр: СТ9682/2)
|
| 19. | Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів. Ч. 3:ДСТУ ISO/IEC 15026-3:2018 (ISO/IEC 15026-3:2015, IDT). Рівні цілісності системи. - 2019. - IV, 17 с. : рис., табл. (Шифр: СТ9682/3)
|
| 20. | Інженерія систем і програмних засобів. Гарантії стосовно систем і програмних засобів. Ч. 4:ДСТУ ISO/IEC 15026-4:2018 (ISO/IEC 15026-4:2012, IDT). Гарантування в життєвому циклі. - 2019. - V, 21 с. : табл. (Шифр: СТ9682/4)
|
| | |
Книжкові видання
