Пошуковий запит: (<.>U=З973-018.10$<.>) |
Загальна кількість знайдених документів : 133
Представлено документи з 1 до 20
|
| | |
| 1. | 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)
|
| 2. | 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)
|
| 3. | Корольков Ю. Д. Математические модели качества программных средств / Ю. Д. Корольков. - Иркутск : Изд-во Иркутского ун-т, 1995. - 160 с. (Шифр: ВА591299)
|
| 4. | 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.)
|
| 5. | 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)
|
| 6. | Гинкул Г. П. Проблема 2000 года. Технологические решения / Г. П. Гинкул [и др]. - М. : Нолидж, 1999. - 304 с. (Шифр: ВА595755)
|
| 7. | Афонин В. А. Обеспечение надежности средств вычислительной техники. Сборник задач : Учеб. пособие по курсу "Основы теории надежности" / В. А. Афонин ; ред. И. И. Ладыгин ; Московский энергетический ин-т (технический ун-т). - М. : Издательство МЭИ, 1999. - 85 с.: рис. (Шифр: ВА635522)
|
| 8. | Технологические решения проблемы 2000 года / Г. П. Гинкул [та ін.]. - М. : Весь мир, 1999. - 200 с. (Шифр: ВБ/40)
|
| 9. | Опыт решения "Проблемы 2000 года" и процессы информатизации : Метод. материалы / НАН Беларуси, Институт технической кибернетики ; авт.-сост. В. В. Анищенко [и др.]. - Минск : [б.и.], 2000. - 90 с. (Шифр: ВА603923)
|
| 10. | Воробьева Н. И. Надежность компьютерных систем / Н. И. Воробьева [и др]. - К. : ЧП "Корнійчук", 2000. - 144 с.: ил. (Шифр: ВА599170)
|
| 11. | Оценка и аттестация зрелости процессов создания и сопровождения программных средств и информационных систем (ISO/IEC TR 15504-CMM) / пер. с англ. А. С. Агапов [и др.]. - М. : Книга и бизнес, 2001. - 348 с.: рис. - (АИТИ системный интегратор) (Информационные технологии для инженеров) (Шифр: ВС35693)
|
| 12. | Методы автоматизированного анализа и оценка применимости программных продуктов в учебном процессе : Учеб. пособие для обучения студентов вузов по спец. "Прикладная информатика" (по областям) / В. Н. Бугорский [и др.] ; ред. Ю. М. Порховник ; Санкт-Петербургский гос. инженерно-экономический ун-т. - СПб. : [б.и.], 2001. - 141 с. (Шифр: ВА622968)
|
| 13. | Липаев В. В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В. В. Липаев ; Московский гос. технологический ин-т "СТАНКИН". - М. : СИНТЕГ, 2001. - 224 с. - (Серия "Информационные технологии") (Шифр: ВА635876)
|
| 14. | Молодцова О. П. Управління якістю програмної продукції : Навч. посібник / О. П. Молодцова ; Київський національний економічний ун-т. - К. : КНЕУ, 2001. - 248 с. (Шифр: ВА612630)
|
| 15. | Основы инженерии качества программных систем / Ф. И. Андон [и др.] ; НАН Украины, Ин-т програм. систем. - К. : Академпериодика, 2002. - 503 с.: ил. (Шифр: ВС37191)
|
| 16. | Липаев В. В. Методы обеспечения качества крупномасштабных программных средств / В. В. Липаев ; РАН, Институт системного программирования. - М. : СИНТЕГ, 2003. - 511 с. - (Серия "Управление качеством") (Шифр: ВА662621)
|
| 17. | Malishevsky A. G. Test case prioritization : diss. / Alexey Grigorievich Malishevsky ; Oregon state univ. - [Oregon] , 2003. - 272 l. : fig., tab. (Шифр: ІС14388)
|
| 18. | Локазюк В. М. Надійність, помилки і тестування програмного забезпечення комп'ютерних пристроїв та систем : Навч. посіб. для студ. вищ. техн. навч. закл. / В. М. Локазюк ; Технологічний ун-т Поділля. - Хмельницький : ТУП, 2003. - 74 с.: рис. (Шифр: ВА638184)
|
| 19. | Інформаційні технологіїОцінювання процесів життєвого циклу програмних засобів. Ч. 5:ДСТУ ISO/IEC TR 15504-5:2002. - К. : [б.в.], 2004. - VІ, 114 с. (Шифр: СТ1240/Ч. 5)
|
| 20. | Інформаційні технологіїОцінювання процесів життєвого циклу програмних засобів. Ч. 4:ДСТУ ISO/IEC TR 15504-4:2002. - К. : [б.в.], 2004. - VІ, 17 с. (Шифр: СТ1240/Ч. 4)
|
| | |
Книжкові видання
