Полное описание
> Куриленко, И. Е. Модульное тестирование : учеб. пособие по курсам "CASE-технологии разраб. програм. средств", "Технологии разраб. програм. средств" для студентов, обучающихся по направлениям "Приклад. математика и информатика", "Информатика и вычисл. техника", "Информ. системы" / И. Е. Куриленко, П. Р. Варшавский. - М. : ИД МЭИ, 2011 (Красноармейск). - 48 с. : ил. - Библиогр.: с. 47-48 (12 назв.). - 100 экз. - ISBN 978-5-383-00632-0. - Текст : непосредственный. В надзаг.: Моск. энерг. ин-т (техн. ун-т).
ГРНТИ УДК 50.01.81 004.415.53
Рубрики: Программы для ЭВМ -- Тестирование
Доп. точки доступа: Варшавский, П.Р.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-11/81092)>
Шифр в сводном ЭК: a775864d9b3d8d7aee9c750703a56945
Куриленко И.Е. Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / И. Е. Куриленко, 2008. - 20 с. - Текст : непосредственный. Куриленко И.Е. Разработка программного обеспечения с помощью CASE-технологий : метод. пособие / И. Е. Куриленко, 2013. - 71 с. - Текст : непосредственный. Варшавский П.Р. Современные компьютерные технологии и средства анализа данных : учебное пособие / П. Р. Варшавский, И. Е. Куриленко, И. С. Михайлов, 2019. - 90 с. - Текст : непосредственный. Варшавский П.Р. Методы и программные средства поиска решения на основе аналогий в интеллектуальных системах поддержки принятия решений : автореф. дис. .. канд. техн. наук: 05.13.11 / П. Р. Варшавский, 2005. - 20 c. - Текст : непосредственный. Куриленко И.Е. Видео "по-домашнему" - это просто / И.Е. Куриленко, 2005. - 344 с. - Текст : непосредственный. Куриленко И.Е. Модульное тестирование : учеб. пособие по курсам "CASE-технологии разраб. програм. средств", "Технологии разраб. програм. средств" для студентов, обучающихся по направлениям "Приклад. математика и информатика", "Информатика и вычисл. техника", "Информ. системы" / И. Е. Куриленко, П. Р. Варшавский, 2011. - 48 с. - Текст : непосредственный. Варшавский П.Р. Программное обеспечение интеллектуальных систем : учеб. пособие по курсам "Проектирование программн. обеспечения интеллектуал. систем", "Представление знаний в информ. системах", "Экспертные системы" [и др.] / П. Р. Варшавский, И. Е. Куриленко, И. С. Михайлов, 2011. - 63 с. - Текст : непосредственный. Куриленко И.Е. Современные методологии разработки программных средств : учебное пособие / И. Е. Куриленко, 2011. - 110 с. - Текст : непосредственный. Еремеев А.П. Программная реализация модуля анализа данных на основе прецедентов для распределенных интеллектуальных систем / А. П. Еремеев, П. Р. Варшавский, С. А. Поляков. - Текст : непосредственный // Прогр. продукты и системы : международный научно-практический журнал / Международный научно-исследовательский институт проблем управления. - Тверь : Центрпрограммсистем, 2021. - Том 34 N 3.- С.381-389. Варшавский П.Р. Применение прецедентного подхода для обучения искусственных нейронных сетей / П. Р. Варшавский, А. В. Кожевников, А. В. Кожевников. - Текст : непосредственный // <19=девятнадцатая> Национальная конференция по искусственному интеллекту с международным участием, 11-16 октября 2021, Ростов-на-Дону - Таганрог. КИИ-2021 : труды конференции / Российская ассоциация искусственного интеллекта, Федеральный исследовательский центр "Информатика и управление" РАН, Московский физико-технический институт (национальный исследовательский университет), Южный федеральный университет. - Ростов-на-Дону ; Таганрог : Изд-во Южного федерального ун-та, 2021. - с. 304-312 Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Стивенс Р. Тестирование и отладка программ на 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 с. - Текст : непосредственный. Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Криспин Л. Гибкое тестирование : методический материал / Л. Криспин, Д. Грегори, 2010. - 463 с. - Текст : непосредственный. Franz K. Handbuch zum Testen von Web-Applikationen / K. Franz, 2007 r=on-line. - Текст : электронный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Tip F. A survey of program slicing techniques / F. Tip, 1994. - 58 p. - Текст : непосредственный. The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный. Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K. Worwa, 2000. - 179 s. - Текст : непосредственный. Винниченко И. Автоматизация процессов тестирования / И. Винниченко, 2005. - 202 с. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Турко С.А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко, 2017. - 132 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽