Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 133
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | В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 прим. - ISBN 978-966-662-255-9
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | В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 прим. - ISBN 978-966-662-256-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ІС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
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ІВ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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
5. | ІС14388
Malishevsky, Alexey Grigorievich. Test case prioritization [Text] : diss. / Alexey Grigorievich Malishevsky ; Oregon state univ. - [Oregon] , 2003. - 272 l. : fig., tab. - Бібліогр.: арк. 236-254
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
6. | 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) 3 mfishe
Рубрики:
Видання зберігається у :
| |
|
| | |
|
7. | ІВ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). - Бібліогр. в кінці ст. - ISBN 978-952-12-2671-7
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ІВ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. - ISBN 0-8186-3210-0
Рубрики:
Видання зберігається у :
| |
|
| | |
|
9. | ІВ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.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
10. | ІВ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. - ISBN 0-8186-5660-3
Рубрики:
Географічні рубрики:
Видання зберігається у :
| |
|
| | |
|
11. | СТ11213
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Вимоги до якості готового для застосування програмного продукту (RUSP) та інструкції щодо його тестування [Текст]. - На заміну ДСТУ ISO/IEC 25051:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2021. - V, 24 с. : табл. - (Національний стандарт України). - Бібліогр.: с. 22.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | СТ9578
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Моделі якості системи та програмних засобів [Текст]. - На заміну ДСТУ ISO/IEC 25010:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - VI, 32 с. : рис., табл. - (Національний стандарт України). - Бібліогр.: с. 28-29.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | СТ9654
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Настанова з оцінювання для розробників, придбавачів і незалежних оцінювачів [Текст]. - На заміну ДСТУ ISO/IEC 25041:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - VIII, 39 с. : рис., табл. - (Національний стандарт України). - Бібліогр.: с. 38.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | СТ9579
Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання (SQuaRE). Планування та керування [Текст]. - На заміну ДСТУ ISO/IEC 25001:2015 ; Чинний від 2018-01-01. - Київ : УкрНДНЦ, 2018. - V, 12 с. : табл. - (Національний стандарт України). - Бібліогр.: с. 10.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | СТ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.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | СТ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.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | СТ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.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | СТ9909
Інформаційні технології. Вимірювання та рейтингове оцінювання продуктивності комп'ютерних програмних систем (ISO/IEC 14756:1999, IDT) [Текст]. - Чинний від 2012-07-01. - Київ : УкрНДНЦ, 2018. - VII, 38 с. : рис. - (Національний стандарт України)
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | СТ6695
Інформаційні технології. Настанови щодо застосування ISO/IEC 12207 (процеси життєвого циклу програмного забезпечення) (ISO/IEC TR 15271:1998, IDT) [Текст]. - Чинний від 2012-07-01. - К. : Держспоживстандарт України, 2013. - VI, 38 с. : рис. - (Національний стандарт України)
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | СТ1240/Ч. 1
Інформаційні технологіїОцінювання процесів життєвого циклу програмних засобів [Текст] ; К. : Держспоживстандарт України2004. - (Національний стандарт України). Ч. 1 : ДСТУ ISO/IEC TR 15504-1:2002 ; Концепції та вступна настанова (ISO/IEC TR 15504-1:1998, IDT) / пер. і наук.-техн. ред. Л. Бабко, Г. Коваль ; . - Чинний від 01.10.2003. - [Б. м.] : [б.в.], 2004. - ІХ, 12 с.: рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |