47444

    Хвостов, А. А.
    Разработка программного обеспечения системы мониторинга производства на языке С++ с использованием математической модели технологического процесса [Электронный ресурс] : учебное пособие / Хвостов А. А. - Воронеж : Воронежский государственный университет инженерных технологий, 2014. - 117 с. - ISBN 978-5-00032-048-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

Кл.слова (ненормированные):
математическая модель -- программное обеспечение -- разработка по -- система мониторинга -- технологический процесс -- язык с++
Аннотация: Учебное пособие разработано в соответствии с требованиями ФГОС ВПО подготовки выпускников по направлениям 220700.62 - «Автоматизация технологических процессов и производств», 220400.62 - «Управление в технических системах». Предназначено для закрепления теоретических знаний дисциплин цикла Б2 «Программирование в объектно-ориентированных языках», «Современные средства разработки программного обеспечения». Предлагаемый учебный материал может быть использован для выполнения курсового проекта.

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


Доп.точки доступа:
Битюков, В. К.; Тихомиров, С. Г.; Карманова, О. В.; Хаустов, И. А.; Гаврилов, А. Н.
Свободных экз. нет

97540

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

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

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


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

97574

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

Кл.слова (ненормированные):
gui-программирование -- инженерия программ -- объектно-ориентированное программирование -- программное обеспечение -- разработка по -- среда eiffelstudio -- язык c# -- язык c++ -- язык java -- язык программирования
Аннотация: В книге обобщен многолетний опыт обучения программированию в ЕТН, Цюрих. В ней удачно сочетаются три грани, характерные для профессионального программирования, — наука, искусство и инженерия. Она в первую очередь ориентирована на студентов, обучающихся в области информационных технологий, и их преподавателей, но представляет несомненный интерес для всех программистов, создающих программный продукт высокого качества. В учебнике излагаются основы объектно-ориентированного программирования (ООП). Особое внимание уделяется корректности программ за счет введения контрактов — предусловий, постусловий методов класса, инвариантов классов. Глубоко и подробно рассматриваются такие механизмы ООП, как наследование и универсальность. Изучаются алгоритмы и структуры данных — массивы, кортежи, списки, хэш-таблицы, различные виды распределителей, деревья. Подробно рассматриваются рекурсивные алгоритмы и рекурсивные структуры данных. Даются основы лямбда-исчисления и вводятся агенты, поддерживающие функциональный тип данных. Язык Eiffel используется как рабочий язык программирования. Книга содержит предисловие и шесть частей. Шестая часть содержит пять приложений, в которых дается сравнительный анализ языков программирования — Java, C#, C++, C.

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


Доп.точки доступа:
Биллига, В. А. \ред.\
Свободных экз. нет

86201

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

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

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


Доп.точки доступа:
Хлытчиев, О. И.
Свободных экз. нет

86208

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

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

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

Свободных экз. нет

91689

    Кугаевских, А. В.
    Проектирование информационных систем. Системная и бизнес-аналитика [Электронный ресурс] : учебное пособие / Кугаевских А. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 256 с. - ISBN 978-5-7782-3608-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 65.291

Кл.слова (ненормированные):
аналитическое мышление -- бизнес-аналитика -- информационная система -- проектирование бд -- проектирование ис -- процессное моделирование -- разработка по -- структура uml -- структурно-функциональное моделирование -- техническое задание
Аннотация: Пособие посвящено методам проведения системного и бизнес-анализа при разработке ПО. Грамотно составленное описание предметной области и техническое задание - одна из составляющих обеспечения качества ПО. Но бизнес-аналитика не ограничивается только документированием бизнес-процессов, поэтому здесь рассмотрен процесс бизнес-анализа, приведены описания некоторых техник, позволяющих провести реинжиниринг. Приведены такие методики, как IDEF0, DFD, BPMN, ARIS eEPC, UML и IDEF1X. Представлены техники управления требованиями и техники написания ТЗ по шаблонам документа видения, спецификации требований к ПО и по ГОСТ 34. Для ГОСТ 19 и ГОСТ 34 приведены рекомендации по содержанию ТЗ применительно к современной классификации требований. Учебное пособие соответствует профессиональному стандарту «Системный аналитик».

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

Свободных экз. нет