Полное описание
Yourdon, E. ISBN 0-13-855289-4. - Текст : непосредственный.
ГРНТИ УДК 50.01.81 004.415.5
Рубрики: Программное обеспечение ЭВМ -- Качество
Кл.слова (ненормированные): МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/21763)
Шифр в сводном ЭК: b38e3d705d1cd658c0ef17e10aecde00
Yourdon E. Modern structured analysis / E.Yourdon;Edward Yourdon, 1989. - X, 672 p. 672 p. - Текст : непосредственный. Йордон Э. Путь камикадзе. Как разработчику программного обеспечения выжить в безнадежном проекте / Э.Йордон, 2000. - 255 с. - Текст : непосредственный. Yourdon E. CIOs at Work : монография / by Ed Yourdon., 2011 r=on-line. - Текст : электронный. Yourdon E. Managing the structured techniques / E.Yourdon, 1989. - XII,269 p. p. - Текст : непосредственный. Йордон Э. Управление сложными Интернет-проектами / Э.Йордон, 2002. - 344 с. - Текст : непосредственный. Yourdon E. Structured walkthroughs / E.Yourdon, 1989. - XII,193 p. p. - Текст : непосредственный. Йордон Э. Структурные модели в объектно-ориентированном анализе и проектировании / Э.Йордон,К.Аргила, 1999. - 264 с. - Текст : непосредственный. Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный. Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный. Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный. Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный. Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный. Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный. Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный. Verification of object-oriented software. The key approach / SpringerLink (Online service), 2007 r=on-line. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный. Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В. В. Липаев, 2001. - 224 с. - Текст : непосредственный. Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный. Software engineering techniques: design for quality / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный. Middeldorp A. Modular properties of conditional term rewriting systems / A. Middeldorp, 1991. - 42 p. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
