Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Синицын, С. В.$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
IPRBooks-73700
73700

    Синицын, С. В.
    Основы разработки программного обеспечения на примере языка С [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 211 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
00
ББК 32.97

Кл.слова (ненормированные):
программирование -- программное обеспечение -- система -- технология -- язык
Аннотация: В курсе отражены базовые принципы построения программных комплексов встроенных систем. Значительное место уделено технологии проектирования и методам верификации (тестирования) разработанных программ. Рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования. Алгоритмический аспект отвечает на вопрос, как найти решение поставленной задачи. Технологический - указывает последовательность действий достижения цели, определяет применяемые инструменты и способы оценки результатов. Язык высокого уровня, в данном случае Си, предоставляет разработчикам возможность реализации ПО в форме, при- годной для его выполнения на различных платформах.

(для доступа требуется авторизация)


Доп.точки доступа:
Хлытчиев, О. И.
Свободных экз. нет
Найти похожие
2.
IPRBooks-97540
97540

    Синицын, С. В.
    Верификация программного обеспечения [Электронный ресурс] : учебное пособие / Синицын С. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 367 с. - ISBN 978-5-4497-0653-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004
ББК 32.97

Кл.слова (ненормированные):
верификация по -- конфигурационное управление -- модульное тестирование -- программное обеспечение -- программный код -- разработка по -- системное тестирование -- тестовое окружение -- управление качеством -- экстремальное программирование
Аннотация: Учебное пособие знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Издание рассчитано на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

(для доступа требуется авторизация)


Доп.точки доступа:
Налютин, Н. Ю.
Свободных экз. нет
Найти похожие
3.
IPRBooks-86194
86194

    Синицын, С. В.
    Верификация программного обеспечения [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004.052
ББК 32.973

Кл.слова (ненормированные):
верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.

(для доступа требуется авторизация)


Доп.точки доступа:
Налютин, Н. Ю.
Свободных экз. нет
Найти похожие
4.
IPRBooks-86201
86201

    Синицын, С. В.
    Основы разработки программного обеспечения на примере языка С [Электронный ресурс] : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 212 с. - ISBN 978-5-4488-0362-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
004
ББК 32.97

Кл.слова (ненормированные):
метод верификации -- объектный подход -- оформление программы -- препроцессор -- программное обеспечение -- разработка по -- тестирование по -- тип данных -- язык программирования -- язык си
Аннотация: В учебном пособии рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования. В пособии представлены технологии проектирования и методы верификации (тестирования) разработанных программ, отражены базовые принципы построения программных комплексов встроенных систем. Учебное пособие предназначено для изучения дисциплины «Основы алгоритмизации и программирования» по специальностям среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы», 09.02.04 «Информационные системы (по отраслям)» и др.

(для доступа требуется авторизация)


Доп.точки доступа:
Хлытчиев, О. И.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 28.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)