Синицын, С. В. Основы разработки программного обеспечения на примере языка С [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 211 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): программирование -- программное обеспечение -- система -- технология -- язык Аннотация: В курсе отражены базовые принципы построения программных комплексов встроенных систем. Значительное место уделено технологии проектирования и методам верификации (тестирования) разработанных программ. Рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования. Алгоритмический аспект отвечает на вопрос, как найти решение поставленной задачи. Технологический - указывает последовательность действий достижения цели, определяет применяемые инструменты и способы оценки результатов. Язык высокого уровня, в данном случае Си, предоставляет разработчикам возможность реализации ПО в форме, при- годной для его выполнения на различных платформах. Доп.точки доступа: Хлытчиев, О. И. Свободных экз. нет |
Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Доп.точки доступа: Налютин, Н. Ю. Свободных экз. нет |
Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др. Доп.точки доступа: Налютин, Н. Ю. Свободных экз. нет |
Синицын, С. В. Основы разработки программного обеспечения на примере языка С [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 212 с. - ISBN 978-5-4488-0362-8 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): метод верификации -- объектный подход -- оформление программы -- препроцессор -- программное обеспечение -- разработка по -- тестирование по -- тип данных -- язык программирования -- язык си Аннотация: В учебном пособии рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования. В пособии представлены технологии проектирования и методы верификации (тестирования) разработанных программ, отражены базовые принципы построения программных комплексов встроенных систем. Учебное пособие предназначено для изучения дисциплины «Основы алгоритмизации и программирования» по специальностям среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы», 09.02.04 «Информационные системы (по отраслям)» и др. Доп.точки доступа: Хлытчиев, О. И. Свободных экз. нет |