Перейти к содержимому 
База данных: ЭБС Юрайт
Страница 1, Результатов: 14
Отмеченные записи: 0
1.
Подробнее
Кудрявцева, Ирина .
Программирование: комбинаторная логика [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 524 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10620-6
URL: https://urait.ru/bcode/541888 (дата обращения: 12.03.2024).
ББК 32.973я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Основы алгоритмизации и программирования -- Введение в программирование -- Программирование и алгоритмизация -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
Доп.точки доступа:
Швецкий, Михаил Владимирович
Кудрявцева, Ирина .
Программирование: комбинаторная логика [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 524 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-10620-6
URL: https://urait.ru/bcode/541888 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Основы алгоритмизации и программирования -- Введение в программирование -- Программирование и алгоритмизация -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
Доп.точки доступа:
Швецкий, Михаил Владимирович
2.
Подробнее
Лаврищева, Екатерина Михайловна.
Программная инженерия и технологии программирования сложных систем [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2023. - 432 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-07604-2
URL: https://urait.ru/bcode/513067 (дата обращения: 12.03.2024).
ББК 32.973я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Разработка и стандартизация программных средств и информационных технологий -- Технология разработки программного обеспечения -- Теория и технология программирования -- Технология программирования -- Языки и технология программирования -- Методы программирования -- Введение в программную инженерию -- Экономика программной инженерии -- Методология программной инженерии -- Основы программирования -- Программирование для ЭВМ -- Программная инженерия -- Проектирование и архитектура программных систем -- Технологии и методы программирования -- Инструментальные средства разработки программного обеспечения -- Введение в программирование -- Групповая динамика и коммуникации в профессиональной практике программной инженерии -- Проектирование архитектуры программных систем -- Разработка и стандартизация программного обеспечения -- Разработка программных приложений -- Технологии программирования -- Тестирование и обеспечение качества программных систем -- Основы процессного подхода в программной инженерии -- Принципы и практики программной инженерии -- Осуществление интеграции программных модулей -- Разработка программных модулей -- Инструменты и методы программной инженерии -- Программные системы инженерного анализа -- Разработка программного обеспечения робототехнических систем -- Спецификация программных систем -- Технологии и стандарты разработки программного обеспечения -- Технологии разработки программного обеспечения -- Парадигмы программирования на английском языке -- Проектирование сложных программных систем -- Разработка интерфейсов программных систем -- Процессы разработки программного обеспечения -- Современные технологии и средства разработки программного обеспечения -- Современные среды разработки программного обеспечения -- Инженерия программного обеспечения -- Методы тестирования программных систем -- Технология разработки программных комплексов -- Программно-конфигурируемые инфокоммуникационные сети -- Структурно-топологическое проектирование ЭВМ -- Современные методы разработки сложных программных комплексов -- Современные технологии разработки программного обеспечения -- Технологии разработки программных средств -- Основы программной инженерии -- Тестирование и отладка программного обеспечения -- Методы тестирования и отладки программного обеспечения -- Операционные среды инновационных программных систем -- Проектирование средств САПР и основы программной инженерии -- Технологии разработки программных комплексов -- Трансляторы и программные системы -- Формулировка требований и сфера определений для инновационных программных систем -- Инструменты системной и программной инженерии -- Системная и программная инженерия -- Проектирование программно-методического обеспечения дополнительных общеобразовательных программ -- Управление проектами разработки программного обеспечения -- Инженерная деятельность и системный инжиниринг в программной инженерии -- Разработка программного обеспечения -- Разработка программных прототипов -- Программная инженерия для предприятий пищевой промышленности -- Современные технологии и методы разработки программного обеспечения -- Разработка программного обеспечения для мобильных устройств -- Тестирование и отладка программного обеспечения для предприятий пищевой промышленности -- Программирование и программная инженерия -- Программная инженерии - управление разработкой -- Управление проектами в программной инженерии -- Разработка требований и проектирование программного обеспечения -- Открытые технологии разработки программного обеспечения -- Современные технологии разработки программных продуктов и систем -- Обеспечение качества, тестирование и отладка программного обеспечения -- Современные методы программной инженерии -- Технологии разработки программного обеспечения (Java) -- Системный подход в разработке программного обеспечения -- Архитектура программных систем -- Программные технологии -- Инструменты программной инженерии -- Математические основы программной инженерии -- Основы разработки программного обеспечения -- Проблемы безопасности программных систем -- Современные проблемы программной инженерии -- Теория принятия решений и системный анализ в программной инженерии -- Технологии и процессы разработки программного обеспечения -- Технологии проектирования и разработки программных систем и сетей -- Архитектура, проектирование и разработка программных средств -- Разработка программного обеспечения мобильных устройств -- Разработка программного обеспечения периферийных устройств -- Технология разработки программных приложений -- Методики организации разработки программного обеспечения -- Управление информацией в процессе разработки программного обеспечения -- Гибкие технологии разработки программного обеспечения -- Программная инженерия мобильных приложений -- Технология тестирования программ -- Программный инжиниринг -- Конфигурирование программных комплексов -- Программирование на ЭВМ -- Проектирование программных систем -- Командная разработка программного обеспечения -- Жизненный цикл разработки программного обеспечения -- Управление качеством разработки программного обеспечения -- Методы определения требований в программной инженерии -- Средства и инструменты программной инженерии -- Методы верификации и тестирования программных систем -- Жизненный цикл программного обеспечения -- Контракты и поставки в разработке программного обеспечения -- Конфигурации в разработке программного обеспечения -- Методы разработки программного обеспечения -- Построение процесса разработки программного обеспечения -- Введение в разработку программного обеспечения -- Тестирование и оценка качества программных систем -- Модели и методы программной инженерии -- Автоматизация технологии разработки программного обеспечения -- Методо-ориентированные программные системы -- Современные средства разработки программного обеспечения -- Программная инженерия задач вычислительной математики -- Экономико-правовые основы программной инженерии -- Основы технологии командной разработки программного обеспечения -- Технология проектирования программных систем -- Основы информационных технологий поддержки проектирования и изготовления изделий -- Программно конфигурируемые сети -- Качество программных систем -- Программная и системная инженерия -- Технологии разработки программных продуктов -- Введение в программно-конфигурируемые сети -- Программное конфигурирование пакетных сетей -- Разработка программного обеспечения для мобильных платформ -- Программное конфигурирование пакетных -- Инструментальные средства разработки программных систем и информационных технологий -- Управление рисками разработки программного обеспечения -- Разработка программного обеспечения систем управления -- Системная инженерия и интеграция -- Современные технологии разработки программных продуктов -- Транспортные программно-конфигурируемые сети -- Методы отладки и тестирования программных продуктов -- Обеспечение качества разработки программного обеспечения -- Программно-конфигурируемая архитектура приложений и инфраструктуры -- Проектная деятельность в области инженерии -- Разработка программно-методического обеспечения образовательного процесса -- Стандартизация разработки программного обеспечения -- Прикладные компьютерные программы для проектирования технологических процессов -- Инженерия вредоносного и защитного программного обеспечения -- Разработка защищенных программных систем -- Современные технологии и инструментальные средства разработки программных систем -- Математическое моделирование в области обеспечения качества -- Разработка программного обеспечения АИС -- Программирование и основы разработки программных средств -- Парадигмы разработки программного обеспечения -- Архитектура и технологии разработки программного обеспечения -- Стандарты и оформление программной документации -- Защита и безопасность программных систем -- Методология и инструментальные средства командной разработки программного обеспечения: проектное обучение -- Основы системной и программной инженерии -- Правовое обеспечение безопасности и защиты программных систем -- Современные технологии разработки программных комплексов -- Базы данных Big Data -- Инноватика в программной инженерии -- Алгоритмические основы программной инженерии -- Гетерогенные программные платформы -- Исследовательские аспекты в программно-конфигурируемых сетях -- Концепции архитектурного проектирования программного продукта -- Кросс-платформенные программные системы -- Основы разработки услуг в программно-конфигурируемых сетях -- Особенности эксплуатации программно-конфигурируемых сетей -- Системно-когнитивный анализ и онтологическое моделирование при разработке ПО -- Средства проектирования программных систем -- Программная инженерия (методологии проектирования программного обеспечения, паттерны) -- Технология компонентного программирования -- Анализ требований и разработка программного обеспечения -- Основы разработки и реализации программных проектов -- Системный инжиниринг и технологии командной разработки проектов -- Технологии коллективной разработки программных систем -- Модели, технологии и стандарты разработки программных интерфейсов -- Обоснование и разработка технических требований к программным системам -- Оценка параметров функционирования программных систем -- Перспективные разработки программного обеспечения информационно-управляющих систем -- Программная инженерия информационно-управляющих систем -- Сопровождение программных систем -- Средства моделирования разработки программного обеспечения -- Технологии разработки программного обеспечения информационных систем -- Технологии разработки программных интерфейсов -- Проектирование графических интерфейсов программных систем -- Разработка программного обеспечения автоматизированных информационных систем -- Методы программной инженерии в решении прикладных задач -- Основы экономики программной инженерии и управление проектами -- Сервис-ориентированные технологии разработки программных систем -- Современные средства промышленной разработки программного обеспечения -- Современные средства разработки программных систем -- Технология командной разработки программного обеспечения -- Архитектура, дизайн и процесс разработки ПО -- Тестирование программных систем -- Технологии и методы проектирования вычислительных модулей -- Проектирование и разработка программного обеспечения -- Технология разработки программных продуктов -- Системная инженерия программного обеспечения -- Программно-информационное обеспечение проектирования систем -- Управление конфигурацией программных модулей -- Интегрированные системы разработки программного обеспечения систем управления -- Разработка программного обеспечения мобильных систем -- Безопасность разработки программного обеспечения -- Методология научных исследований в программной инженерии -- Методы и технологии интеллектуализации программных систем -- Методы эволюции и сопровождения программных систем -- Системная инженерия и проектирование сложных систем -- Современные технологии создания программных систем -- Оценка качества, стандартизация и сопровождение программных систем -- Технологии и процесс разработки программного обеспечения -- Системы разработки программного обеспечения -- Современные программные комплексы моделирования и проектирования технических объектов -- Архитектура и методологии разработки программных систем -- Измерительные средства аналитики программных систем и технологий -- Методы программной инженерии -- Методы разработки программных систем -- Моделирование процессов обеспечения качества -- Программная инженерия (продвинутый курс) -- Программная инженерия информационной безопасности -- Разработка модели компетенций организации -- Системный анализ процессов обеспечения качества -- Технологии средств разработки программного обеспечения -- Управление и организация процесса разработки программного обеспечения -- Информационные технологии и разработка ПО -- Методы и средства программной инженерии -- Программно-конфигурируемые инфокоммуникационные системы и сети -- Разработка программного обеспечения и систем -- Объектно-ориентированное программирование в проектировании сложных систем -- Разработка программного обеспечения для ОС Android -- Валидация и верификация программных систем -- Методология Agile для разработки ПО -- Разработка программного обеспечения комплексов специального назначения -- Основы проектирования устройств ЭВМ -- Разработка программных систем -- Технологии проектирования программных сред -- Технологии разработки учебно-программной и учебно-методической документации -- Технология разработки программных систем -- Введение в аппаратные и программные системы -- Жизненный цикл безопасной разработки программного обеспечения -- Инжиниринг программных систем -- Методы и инструменты безопасной разработки программного обеспечения -- Методы и средства программного обеспечения -- Обеспечение качества при разработке программного обеспечения -- Организация проектирования и разработки программного обеспечения -- Основы технологии программно-конфигурируемых сетей -- Оценка эффективности программные продуктов -- Проектирование и разработка критических программных систем -- Реинжиниринг программных систем -- Методы верификации и валидации информационных систем -- Разработка программного обеспечения и скриптовые языки -- Системы управления и программирование оборудования с числовым программным управлением -- Методы тестирования программных продуктов -- Методы и средства разработки программного обеспечения -- Разработка программного обеспечения для мобильных систем -- Средства и технологии разработки программных продуктов -- Базы данных и анализ BIG Data -- Разработка интерфейсов различных программных систем -- Инструменты разработки программного обеспечения -- Программная система инженерного анализа Ansys -- Программная инженерия для цифровой трансформации бизнеса -- Математические методы в разработке программного обеспечения -- Технологии формирования учебных компетенций обучающихся на уроке -- Проектирование образовательных событий -- Проектирование программных комплексов -- Промышленное проектирование программных систем -- Развертывание и интеграция программных систем -- Инженерия требований к программному обеспечению -- методы разработки программного обеспечения для АСУ -- Разработка программного обеспечения для мобильных и встроенных систем -- Автоматизация разработки программного обеспечения -- Проектирование ЭВМ и систем
Аннотация: В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в направлении нанотехнологий. Инженерия программного обеспечения систем представлена областями знаний стандарта SWEBOK и линиями (Product Lines) изготовления вариантов программных продуктов на основе моделей характеристик и готовых ресурсов (Reuses, Assets, Artifakts и др.). Рассмотрены методы верификации моделей систем, конфигурационная сборка вариантов продуктов с обеспечением их правильности и надежной работы. Кроме того, в издании освещены перспективные дисциплины программной инженерии, веб-семантики и онтологии доменов, а также новые методы и теории SEMAT, направленные на повышения уровня компетентности обучения студентов в области Computer Sciences. Приводится сайт (http://7dragons.ru/ru) разработки и обучения технологии создания систем из готовых компонентов повторного использования (КПИ) и интерфейсов.
Лаврищева, Екатерина Михайловна.
Программная инженерия и технологии программирования сложных систем [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2023. - 432 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-07604-2
URL: https://urait.ru/bcode/513067 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Разработка и стандартизация программных средств и информационных технологий -- Технология разработки программного обеспечения -- Теория и технология программирования -- Технология программирования -- Языки и технология программирования -- Методы программирования -- Введение в программную инженерию -- Экономика программной инженерии -- Методология программной инженерии -- Основы программирования -- Программирование для ЭВМ -- Программная инженерия -- Проектирование и архитектура программных систем -- Технологии и методы программирования -- Инструментальные средства разработки программного обеспечения -- Введение в программирование -- Групповая динамика и коммуникации в профессиональной практике программной инженерии -- Проектирование архитектуры программных систем -- Разработка и стандартизация программного обеспечения -- Разработка программных приложений -- Технологии программирования -- Тестирование и обеспечение качества программных систем -- Основы процессного подхода в программной инженерии -- Принципы и практики программной инженерии -- Осуществление интеграции программных модулей -- Разработка программных модулей -- Инструменты и методы программной инженерии -- Программные системы инженерного анализа -- Разработка программного обеспечения робототехнических систем -- Спецификация программных систем -- Технологии и стандарты разработки программного обеспечения -- Технологии разработки программного обеспечения -- Парадигмы программирования на английском языке -- Проектирование сложных программных систем -- Разработка интерфейсов программных систем -- Процессы разработки программного обеспечения -- Современные технологии и средства разработки программного обеспечения -- Современные среды разработки программного обеспечения -- Инженерия программного обеспечения -- Методы тестирования программных систем -- Технология разработки программных комплексов -- Программно-конфигурируемые инфокоммуникационные сети -- Структурно-топологическое проектирование ЭВМ -- Современные методы разработки сложных программных комплексов -- Современные технологии разработки программного обеспечения -- Технологии разработки программных средств -- Основы программной инженерии -- Тестирование и отладка программного обеспечения -- Методы тестирования и отладки программного обеспечения -- Операционные среды инновационных программных систем -- Проектирование средств САПР и основы программной инженерии -- Технологии разработки программных комплексов -- Трансляторы и программные системы -- Формулировка требований и сфера определений для инновационных программных систем -- Инструменты системной и программной инженерии -- Системная и программная инженерия -- Проектирование программно-методического обеспечения дополнительных общеобразовательных программ -- Управление проектами разработки программного обеспечения -- Инженерная деятельность и системный инжиниринг в программной инженерии -- Разработка программного обеспечения -- Разработка программных прототипов -- Программная инженерия для предприятий пищевой промышленности -- Современные технологии и методы разработки программного обеспечения -- Разработка программного обеспечения для мобильных устройств -- Тестирование и отладка программного обеспечения для предприятий пищевой промышленности -- Программирование и программная инженерия -- Программная инженерии - управление разработкой -- Управление проектами в программной инженерии -- Разработка требований и проектирование программного обеспечения -- Открытые технологии разработки программного обеспечения -- Современные технологии разработки программных продуктов и систем -- Обеспечение качества, тестирование и отладка программного обеспечения -- Современные методы программной инженерии -- Технологии разработки программного обеспечения (Java) -- Системный подход в разработке программного обеспечения -- Архитектура программных систем -- Программные технологии -- Инструменты программной инженерии -- Математические основы программной инженерии -- Основы разработки программного обеспечения -- Проблемы безопасности программных систем -- Современные проблемы программной инженерии -- Теория принятия решений и системный анализ в программной инженерии -- Технологии и процессы разработки программного обеспечения -- Технологии проектирования и разработки программных систем и сетей -- Архитектура, проектирование и разработка программных средств -- Разработка программного обеспечения мобильных устройств -- Разработка программного обеспечения периферийных устройств -- Технология разработки программных приложений -- Методики организации разработки программного обеспечения -- Управление информацией в процессе разработки программного обеспечения -- Гибкие технологии разработки программного обеспечения -- Программная инженерия мобильных приложений -- Технология тестирования программ -- Программный инжиниринг -- Конфигурирование программных комплексов -- Программирование на ЭВМ -- Проектирование программных систем -- Командная разработка программного обеспечения -- Жизненный цикл разработки программного обеспечения -- Управление качеством разработки программного обеспечения -- Методы определения требований в программной инженерии -- Средства и инструменты программной инженерии -- Методы верификации и тестирования программных систем -- Жизненный цикл программного обеспечения -- Контракты и поставки в разработке программного обеспечения -- Конфигурации в разработке программного обеспечения -- Методы разработки программного обеспечения -- Построение процесса разработки программного обеспечения -- Введение в разработку программного обеспечения -- Тестирование и оценка качества программных систем -- Модели и методы программной инженерии -- Автоматизация технологии разработки программного обеспечения -- Методо-ориентированные программные системы -- Современные средства разработки программного обеспечения -- Программная инженерия задач вычислительной математики -- Экономико-правовые основы программной инженерии -- Основы технологии командной разработки программного обеспечения -- Технология проектирования программных систем -- Основы информационных технологий поддержки проектирования и изготовления изделий -- Программно конфигурируемые сети -- Качество программных систем -- Программная и системная инженерия -- Технологии разработки программных продуктов -- Введение в программно-конфигурируемые сети -- Программное конфигурирование пакетных сетей -- Разработка программного обеспечения для мобильных платформ -- Программное конфигурирование пакетных -- Инструментальные средства разработки программных систем и информационных технологий -- Управление рисками разработки программного обеспечения -- Разработка программного обеспечения систем управления -- Системная инженерия и интеграция -- Современные технологии разработки программных продуктов -- Транспортные программно-конфигурируемые сети -- Методы отладки и тестирования программных продуктов -- Обеспечение качества разработки программного обеспечения -- Программно-конфигурируемая архитектура приложений и инфраструктуры -- Проектная деятельность в области инженерии -- Разработка программно-методического обеспечения образовательного процесса -- Стандартизация разработки программного обеспечения -- Прикладные компьютерные программы для проектирования технологических процессов -- Инженерия вредоносного и защитного программного обеспечения -- Разработка защищенных программных систем -- Современные технологии и инструментальные средства разработки программных систем -- Математическое моделирование в области обеспечения качества -- Разработка программного обеспечения АИС -- Программирование и основы разработки программных средств -- Парадигмы разработки программного обеспечения -- Архитектура и технологии разработки программного обеспечения -- Стандарты и оформление программной документации -- Защита и безопасность программных систем -- Методология и инструментальные средства командной разработки программного обеспечения: проектное обучение -- Основы системной и программной инженерии -- Правовое обеспечение безопасности и защиты программных систем -- Современные технологии разработки программных комплексов -- Базы данных Big Data -- Инноватика в программной инженерии -- Алгоритмические основы программной инженерии -- Гетерогенные программные платформы -- Исследовательские аспекты в программно-конфигурируемых сетях -- Концепции архитектурного проектирования программного продукта -- Кросс-платформенные программные системы -- Основы разработки услуг в программно-конфигурируемых сетях -- Особенности эксплуатации программно-конфигурируемых сетей -- Системно-когнитивный анализ и онтологическое моделирование при разработке ПО -- Средства проектирования программных систем -- Программная инженерия (методологии проектирования программного обеспечения, паттерны) -- Технология компонентного программирования -- Анализ требований и разработка программного обеспечения -- Основы разработки и реализации программных проектов -- Системный инжиниринг и технологии командной разработки проектов -- Технологии коллективной разработки программных систем -- Модели, технологии и стандарты разработки программных интерфейсов -- Обоснование и разработка технических требований к программным системам -- Оценка параметров функционирования программных систем -- Перспективные разработки программного обеспечения информационно-управляющих систем -- Программная инженерия информационно-управляющих систем -- Сопровождение программных систем -- Средства моделирования разработки программного обеспечения -- Технологии разработки программного обеспечения информационных систем -- Технологии разработки программных интерфейсов -- Проектирование графических интерфейсов программных систем -- Разработка программного обеспечения автоматизированных информационных систем -- Методы программной инженерии в решении прикладных задач -- Основы экономики программной инженерии и управление проектами -- Сервис-ориентированные технологии разработки программных систем -- Современные средства промышленной разработки программного обеспечения -- Современные средства разработки программных систем -- Технология командной разработки программного обеспечения -- Архитектура, дизайн и процесс разработки ПО -- Тестирование программных систем -- Технологии и методы проектирования вычислительных модулей -- Проектирование и разработка программного обеспечения -- Технология разработки программных продуктов -- Системная инженерия программного обеспечения -- Программно-информационное обеспечение проектирования систем -- Управление конфигурацией программных модулей -- Интегрированные системы разработки программного обеспечения систем управления -- Разработка программного обеспечения мобильных систем -- Безопасность разработки программного обеспечения -- Методология научных исследований в программной инженерии -- Методы и технологии интеллектуализации программных систем -- Методы эволюции и сопровождения программных систем -- Системная инженерия и проектирование сложных систем -- Современные технологии создания программных систем -- Оценка качества, стандартизация и сопровождение программных систем -- Технологии и процесс разработки программного обеспечения -- Системы разработки программного обеспечения -- Современные программные комплексы моделирования и проектирования технических объектов -- Архитектура и методологии разработки программных систем -- Измерительные средства аналитики программных систем и технологий -- Методы программной инженерии -- Методы разработки программных систем -- Моделирование процессов обеспечения качества -- Программная инженерия (продвинутый курс) -- Программная инженерия информационной безопасности -- Разработка модели компетенций организации -- Системный анализ процессов обеспечения качества -- Технологии средств разработки программного обеспечения -- Управление и организация процесса разработки программного обеспечения -- Информационные технологии и разработка ПО -- Методы и средства программной инженерии -- Программно-конфигурируемые инфокоммуникационные системы и сети -- Разработка программного обеспечения и систем -- Объектно-ориентированное программирование в проектировании сложных систем -- Разработка программного обеспечения для ОС Android -- Валидация и верификация программных систем -- Методология Agile для разработки ПО -- Разработка программного обеспечения комплексов специального назначения -- Основы проектирования устройств ЭВМ -- Разработка программных систем -- Технологии проектирования программных сред -- Технологии разработки учебно-программной и учебно-методической документации -- Технология разработки программных систем -- Введение в аппаратные и программные системы -- Жизненный цикл безопасной разработки программного обеспечения -- Инжиниринг программных систем -- Методы и инструменты безопасной разработки программного обеспечения -- Методы и средства программного обеспечения -- Обеспечение качества при разработке программного обеспечения -- Организация проектирования и разработки программного обеспечения -- Основы технологии программно-конфигурируемых сетей -- Оценка эффективности программные продуктов -- Проектирование и разработка критических программных систем -- Реинжиниринг программных систем -- Методы верификации и валидации информационных систем -- Разработка программного обеспечения и скриптовые языки -- Системы управления и программирование оборудования с числовым программным управлением -- Методы тестирования программных продуктов -- Методы и средства разработки программного обеспечения -- Разработка программного обеспечения для мобильных систем -- Средства и технологии разработки программных продуктов -- Базы данных и анализ BIG Data -- Разработка интерфейсов различных программных систем -- Инструменты разработки программного обеспечения -- Программная система инженерного анализа Ansys -- Программная инженерия для цифровой трансформации бизнеса -- Математические методы в разработке программного обеспечения -- Технологии формирования учебных компетенций обучающихся на уроке -- Проектирование образовательных событий -- Проектирование программных комплексов -- Промышленное проектирование программных систем -- Развертывание и интеграция программных систем -- Инженерия требований к программному обеспечению -- методы разработки программного обеспечения для АСУ -- Разработка программного обеспечения для мобильных и встроенных систем -- Автоматизация разработки программного обеспечения -- Проектирование ЭВМ и систем
Аннотация: В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а также методы разработки в них отдельных элементов, их сборки в систему с проведением верификации, тестирования систем и оценки качества, обозначены перспективы развития технологий компьютерных программ в направлении нанотехнологий. Инженерия программного обеспечения систем представлена областями знаний стандарта SWEBOK и линиями (Product Lines) изготовления вариантов программных продуктов на основе моделей характеристик и готовых ресурсов (Reuses, Assets, Artifakts и др.). Рассмотрены методы верификации моделей систем, конфигурационная сборка вариантов продуктов с обеспечением их правильности и надежной работы. Кроме того, в издании освещены перспективные дисциплины программной инженерии, веб-семантики и онтологии доменов, а также новые методы и теории SEMAT, направленные на повышения уровня компетентности обучения студентов в области Computer Sciences. Приводится сайт (http://7dragons.ru/ru) разработки и обучения технологии создания систем из готовых компонентов повторного использования (КПИ) и интерфейсов.
3.
Подробнее
Черпаков, Игорь Владимирович.
Основы программирования [Электронный ресурс] : учебник и практикум для вузов / И. В. Черпаков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 219 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-9916-9983-9
URL: https://urait.ru/bcode/536736 (дата обращения: 12.03.2024).
ББК 32.973.26-018я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Программирование и основы алгоритмизации -- Теория и технология программирования -- Языки и технология программирования -- Языки программирования -- Алгоритмические языки и программирование -- Методы программирования -- Методы программирования и прикладные алгоритмы -- Программирование на языке высокого уровня -- Информатика и основы программирования -- Алгоритмы и языки программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Языки и методы программирования -- Основы алгоритмизации и программирования -- Введение в программирование -- Программирование на современных алгоритмических языках -- Технологии объектно-ориентированного программирования -- Основы информатики и программирования -- Основы программирования и информатики -- Алгоритмизация и программирование -- Современные языки программирования -- Современные технологии в программировании -- Современные технологии программирования -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Программирование на языках высокого уровня -- Основы объектно-ориентированного программирования -- Информатика (программирование и алгоритмы) -- Алгоритмическое и объектно-ориентированное программирование -- Технологии и языки программирования -- Языки программирования высокого уровня -- Алгоритмы и методы программирования -- Прикладное программирование на языках высокого уровня -- Теоретические основы программирования -- Методы современного программирования -- Математические основы программирования -- Алгоритмическое программирование -- Методы высокоуровневого программирования -- Алгоритмические языки и методы программирования -- Алгоритмическое обеспечение и основы программирования на языке высокого уровня -- Теоретические основы языков программирования -- Современные языки и методы программирования -- Язык программирования -- Основы алгоритмизации и программирование -- Программирование на языках высшего уровня -- технологии программирования и алгоритмизация -- Новые языки программирования -- Информатика. Основы программирования -- Приемы программирования -- Языки и системы программирования -- Программирование на ЭВМ -- Программирование на современных языках -- Языки и методы высокоуровневого программирования -- Основы программирования контроллеров на языках высокого уровня -- Программирование1 -- Теория программирования -- Алгоритмические языки и системы программирования -- Теоретические аспекты программирования -- Теория и практика программирования -- Теоретическое программирование -- Технологии и средства прикладного программирования -- Алгоритмы и программирование -- Профессиональное программирование -- Основные алгоритмы программирования -- Современные языки и технологии программирования -- Специализированные языки программирования -- Теория и реализация языков программирования -- Методы и стандарты программирования -- Программирование (объектно-ориентированное программирование) -- Технологии практического программирования -- Алгоритмы и технологии программирования -- Основы прикладного программирования -- Современные языки и системы программирования -- Стандарты и технология программирования -- Теоретическое и прикладное программирование -- Алгоритмизация и технологии программирования -- Алгоритмизация и программирование на языках высокого уровня -- Информационные технологии и основы программирования -- Языки прикладного программирования -- Алгоритмизация и основы программирования -- Специальные вопросы программирования -- Методы объектно-ориентированного программирования -- Алгоритмические языки программирования высокого уровня -- Программирование (основы) -- Основные модели программирования -- Алгоритмизация и языки программирования -- Основы программирования на языке высокого уровня -- Алгоритмы программирования
Аннотация: Управление экономическими данными практически всегда связано с применением или разработкой алгоритмов, для реализации которых используются программные инструментальные средства. Изучение «серьезных» языков программирования студентами экономических направлений не всегда оправдано с точки зрения необходимости в их будущей деятельности. В то же время, знание и умение пользоваться современными информационными технологиями является обязательным условием для квалифицированного специалиста. Задача этого курса — изложить элементы теории алгоритмов и основы программирования в рамках относительно несложной для изучения системы PascalABC.NET. В курсе содержится большое количество справочного материала и примеров, в том числе экономической направленности, описание технологии структурного и объектно-ориентированного программирования с использованием .NET.
Черпаков, Игорь Владимирович.
Основы программирования [Электронный ресурс] : учебник и практикум для вузов / И. В. Черпаков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 219 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-9916-9983-9
URL: https://urait.ru/bcode/536736 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Программирование и основы алгоритмизации -- Теория и технология программирования -- Языки и технология программирования -- Языки программирования -- Алгоритмические языки и программирование -- Методы программирования -- Методы программирования и прикладные алгоритмы -- Программирование на языке высокого уровня -- Информатика и основы программирования -- Алгоритмы и языки программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Языки и методы программирования -- Основы алгоритмизации и программирования -- Введение в программирование -- Программирование на современных алгоритмических языках -- Технологии объектно-ориентированного программирования -- Основы информатики и программирования -- Основы программирования и информатики -- Алгоритмизация и программирование -- Современные языки программирования -- Современные технологии в программировании -- Современные технологии программирования -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Программирование на языках высокого уровня -- Основы объектно-ориентированного программирования -- Информатика (программирование и алгоритмы) -- Алгоритмическое и объектно-ориентированное программирование -- Технологии и языки программирования -- Языки программирования высокого уровня -- Алгоритмы и методы программирования -- Прикладное программирование на языках высокого уровня -- Теоретические основы программирования -- Методы современного программирования -- Математические основы программирования -- Алгоритмическое программирование -- Методы высокоуровневого программирования -- Алгоритмические языки и методы программирования -- Алгоритмическое обеспечение и основы программирования на языке высокого уровня -- Теоретические основы языков программирования -- Современные языки и методы программирования -- Язык программирования -- Основы алгоритмизации и программирование -- Программирование на языках высшего уровня -- технологии программирования и алгоритмизация -- Новые языки программирования -- Информатика. Основы программирования -- Приемы программирования -- Языки и системы программирования -- Программирование на ЭВМ -- Программирование на современных языках -- Языки и методы высокоуровневого программирования -- Основы программирования контроллеров на языках высокого уровня -- Программирование1 -- Теория программирования -- Алгоритмические языки и системы программирования -- Теоретические аспекты программирования -- Теория и практика программирования -- Теоретическое программирование -- Технологии и средства прикладного программирования -- Алгоритмы и программирование -- Профессиональное программирование -- Основные алгоритмы программирования -- Современные языки и технологии программирования -- Специализированные языки программирования -- Теория и реализация языков программирования -- Методы и стандарты программирования -- Программирование (объектно-ориентированное программирование) -- Технологии практического программирования -- Алгоритмы и технологии программирования -- Основы прикладного программирования -- Современные языки и системы программирования -- Стандарты и технология программирования -- Теоретическое и прикладное программирование -- Алгоритмизация и технологии программирования -- Алгоритмизация и программирование на языках высокого уровня -- Информационные технологии и основы программирования -- Языки прикладного программирования -- Алгоритмизация и основы программирования -- Специальные вопросы программирования -- Методы объектно-ориентированного программирования -- Алгоритмические языки программирования высокого уровня -- Программирование (основы) -- Основные модели программирования -- Алгоритмизация и языки программирования -- Основы программирования на языке высокого уровня -- Алгоритмы программирования
Аннотация: Управление экономическими данными практически всегда связано с применением или разработкой алгоритмов, для реализации которых используются программные инструментальные средства. Изучение «серьезных» языков программирования студентами экономических направлений не всегда оправдано с точки зрения необходимости в их будущей деятельности. В то же время, знание и умение пользоваться современными информационными технологиями является обязательным условием для квалифицированного специалиста. Задача этого курса — изложить элементы теории алгоритмов и основы программирования в рамках относительно несложной для изучения системы PascalABC.NET. В курсе содержится большое количество справочного материала и примеров, в том числе экономической направленности, описание технологии структурного и объектно-ориентированного программирования с использованием .NET.
4.
Подробнее
Зыков, Сергей Викторович.
Программирование. Функциональный подход [Электронный ресурс] : учебник и практикум для вузов / С. В. Зыков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 150 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16942-3
URL: https://urait.ru/bcode/537721 (дата обращения: 12.03.2024).
ББК 32.97-018я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Функциональное программирование -- Теория и технология программирования -- Логическое программирование -- Функциональное и логическое программирование -- Методы программирования -- Информатика и основы программирования -- Функциональное программирование и интеллектуальные системы -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Введение в программирование -- Основы информатики и программирования -- Логическое и функциональное программирование -- Основы программирования и информатики -- Введение в функциональное и логическое программирование -- Языки программирования функциональных парадигм -- Рекурсивно-логическое и функциональное программирование -- Введение в функциональное программирование -- Основы логического программирования -- Языки функционального программирования -- Введение в функциональный анализ -- Программирование на ЭВМ -- Функциональные языки программирования -- Функционально-логические языки программирования -- Основы функционального программирования и интеллектуальные системы -- Основы функционального программирования -- Локально-рекурсивные алгоритмы -- Функциональное программирование и интеллектуальные информационные системы -- Функциональное программирование и интеллектуальные ИС -- Объектно-функциональное программирование -- Логические основы функционального программирования
Аннотация: Курс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Зыков, Сергей Викторович.
Программирование. Функциональный подход [Электронный ресурс] : учебник и практикум для вузов / С. В. Зыков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 150 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16942-3
URL: https://urait.ru/bcode/537721 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Функциональное программирование -- Теория и технология программирования -- Логическое программирование -- Функциональное и логическое программирование -- Методы программирования -- Информатика и основы программирования -- Функциональное программирование и интеллектуальные системы -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Введение в программирование -- Основы информатики и программирования -- Логическое и функциональное программирование -- Основы программирования и информатики -- Введение в функциональное и логическое программирование -- Языки программирования функциональных парадигм -- Рекурсивно-логическое и функциональное программирование -- Введение в функциональное программирование -- Основы логического программирования -- Языки функционального программирования -- Введение в функциональный анализ -- Программирование на ЭВМ -- Функциональные языки программирования -- Функционально-логические языки программирования -- Основы функционального программирования и интеллектуальные системы -- Основы функционального программирования -- Локально-рекурсивные алгоритмы -- Функциональное программирование и интеллектуальные информационные системы -- Функциональное программирование и интеллектуальные ИС -- Объектно-функциональное программирование -- Логические основы функционального программирования
Аннотация: Курс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
5.
Подробнее
Нагаева, Ирина Александровна.
Программирование: Delphi [Электронный ресурс] : учебное пособие для вузов / И. А. Нагаева, И. А. Кузнецов ; под редакцией И. А. Нагаевой. - Электрон. дан.col. - Москва : Юрайт, 2024. - 302 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-07098-9
URL: https://urait.ru/bcode/540416 (дата обращения: 12.03.2024).
ББК 32.973.2я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Разработка приложений Borland Delphi C# -- Разработка приложений Borland Delphi и C# -- Программирование: DELPHI -- Программирование на ЭВМ -- Программирование на ДЕЛФИ -- Разработка приложений Borland Delphi
Аннотация: Пособие является результатом многолетнего преподавания программирования и представляет собой сборник программ и задач для самостоятельного решения в среде программирования Delphi. Основная цель книги — сформировать у студентов понимание ключевых аспектов объектно-ориентированного программирования (ООП) на языке Delphi, достаточное для практического использования в дальнейшем обучении и в работе. Для достижения этой цели авторы предлагают решения задач различной степени сложности, которые демонстрируют возможности среды разработки Delphi.
Доп.точки доступа:
Кузнецов, Игорь Александрович
Нагаева, Ирина Александровна.
Программирование: Delphi [Электронный ресурс] : учебное пособие для вузов / И. А. Нагаева, И. А. Кузнецов ; под редакцией И. А. Нагаевой. - Электрон. дан.col. - Москва : Юрайт, 2024. - 302 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-07098-9
URL: https://urait.ru/bcode/540416 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Разработка приложений Borland Delphi C# -- Разработка приложений Borland Delphi и C# -- Программирование: DELPHI -- Программирование на ЭВМ -- Программирование на ДЕЛФИ -- Разработка приложений Borland Delphi
Аннотация: Пособие является результатом многолетнего преподавания программирования и представляет собой сборник программ и задач для самостоятельного решения в среде программирования Delphi. Основная цель книги — сформировать у студентов понимание ключевых аспектов объектно-ориентированного программирования (ООП) на языке Delphi, достаточное для практического использования в дальнейшем обучении и в работе. Для достижения этой цели авторы предлагают решения задач различной степени сложности, которые демонстрируют возможности среды разработки Delphi.
Доп.точки доступа:
Кузнецов, Игорь Александрович
6.
Подробнее
Лаврищева, Екатерина Михайловна.
Программная инженерия. Парадигмы, технологии и CASE-средства [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 280 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01056-5
URL: https://urait.ru/bcode/537884 (дата обращения: 12.03.2024).
ББК 32.97я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Теория и технология программирования -- Технология программирования -- Методы программирования -- Введение в программную инженерию -- Объектно-ориентированные CASE-технологии -- Объектно- и субъектно-ориентированные CASE-технологии в социальной работе -- Основы программирования -- Программирование для ЭВМ -- Программная инженерия -- Введение в программирование -- Технологии объектно-ориентированного программирования -- Технологии программирования -- CASE-технологии -- Основы объектно-ориентированного программирования -- Основы программной инженерии -- Программирование на ЭВМ -- Введение в CASE-технологии
Аннотация: В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во втором разделе приведены новые формальные механизмы парадигм программирования (модульной, объектной, компонентной, аспектной и сервисной). Определен метод сборки программных ресурсов названных парадигм в сложные системы. В третьем разделе описаны технологии, линии изготовления элементов парадигм, их конфигурационной сборки, инженерии качества и CASE-средства поддержки парадигм и обучения языкам С#, JAVA, VBasic в среде веб-сайтов ИТК и фабрики программ КНУ. Текст книги сопровождается рисунками и таблицами.
Лаврищева, Екатерина Михайловна.
Программная инженерия. Парадигмы, технологии и CASE-средства [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 280 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01056-5
URL: https://urait.ru/bcode/537884 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Теория и технология программирования -- Технология программирования -- Методы программирования -- Введение в программную инженерию -- Объектно-ориентированные CASE-технологии -- Объектно- и субъектно-ориентированные CASE-технологии в социальной работе -- Основы программирования -- Программирование для ЭВМ -- Программная инженерия -- Введение в программирование -- Технологии объектно-ориентированного программирования -- Технологии программирования -- CASE-технологии -- Основы объектно-ориентированного программирования -- Основы программной инженерии -- Программирование на ЭВМ -- Введение в CASE-технологии
Аннотация: В учебнике рассмотрены парадигмы, технологии и Case-средства для разработки сложных компьютерных систем из готовых программных ресурсов, создаваемых в разных парадигмах программирования. В первом разделе даны базовые понятия программной инженерии и метода сборки разноязычных модулей в сложные системы, а также средства автоматизации и реинженерии ресурсов и систем. Во втором разделе приведены новые формальные механизмы парадигм программирования (модульной, объектной, компонентной, аспектной и сервисной). Определен метод сборки программных ресурсов названных парадигм в сложные системы. В третьем разделе описаны технологии, линии изготовления элементов парадигм, их конфигурационной сборки, инженерии качества и CASE-средства поддержки парадигм и обучения языкам С#, JAVA, VBasic в среде веб-сайтов ИТК и фабрики программ КНУ. Текст книги сопровождается рисунками и таблицами.
7.
Подробнее
Зыков, Сергей Викторович.
Объектно-ориентированное программирование [Электронный ресурс] : учебник и практикум для вузов / С. В. Зыков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 151 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16941-6
URL: https://urait.ru/bcode/537385 (дата обращения: 12.03.2024).
ББК 32.97-018я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Теория и технология программирования -- Методы программирования -- Информатика и основы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Введение в программирование -- Технологии объектно-ориентированного программирования -- Основы информатики и программирования -- Основы программирования и информатики -- Введение в языки моделирования и объектно-ориентированное программирование -- Объектное программирование -- Объектно-ориентированные средства создания приложений -- Объектно-ориентированные методы -- Основы объектно-ориентированного программирования -- Алгоритмическое и объектно-ориентированное программирование -- Объектно-ориентированное программирование в мехатронике -- Языки объектно-ориентированного программирования -- Объектно-ориентированное программирование в научных исследованиях -- Технология объектно-ориентированного программирования -- Основы объектно-ориентированного моделирования -- Объектно-ориентированное программирование в среде Qt -- Программирование на ЭВМ -- Объектное программирование и объектное проектирование -- Объектно-ориентированное моделирование программно-аппаратных систем -- Объектно-ориентированное проектирование -- Объектно-ориентированные языки и системы -- Сравнительный анализ языков объектно-ориентированного программирования -- Объектно-ориентированный подход в инновационных технологиях -- Объектно-ориентированное моделирование -- Объектно-ориентированное моделирование и программирование -- Объектно-ориентированные технологии разработки программного обеспечения специальных организационно-технических систем -- Объектно-ориентированные технологии -- Объектно-ориентированное программирование систем защиты информации -- Современные технологии объектно-ориентированного программирования -- Объектно-ориентированное проектирование и программирование -- Объектно-ориентированное программирование транспортных систем -- Графическое и объектно-ориентированное программирование в робототехнике -- Линии передачи и устройства СВЧ. Объектно-ориентированное программирование, базы данных -- Объектно-ориентированное программирование в энергетической отрасли -- Объектно-ориентированное программирование в управлении техническими системами -- Объектно-ориентированное программирование и разработка программного обеспечения -- Методы и средства объектно-ориентированного программирования и проектирования -- Объектное моделирование предметов и конструкций -- Введение в объектно-ориентированное программирование -- Современные объектно-ориентированные языки программирования -- Объектно-ориентированное программирование и архитектура программного обеспечения -- Объектно-ориентированное программирование и шаблоны проектирования -- Объектно-ориентированные языки и системы программирования -- Объектно-ориентированные языки программирования -- Объектно-ориентированное программирование в проектировании сложных систем -- Методы объектно-ориентированного программирования -- Объектно-ориентированное и логическое программирование -- Структуры данных и методы объектно-ориентированного программирования
Аннотация: Курс посвящен основам объектно-ориентированного подхода на примере языка С#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Зыков, Сергей Викторович.
Объектно-ориентированное программирование [Электронный ресурс] : учебник и практикум для вузов / С. В. Зыков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 151 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-16941-6
URL: https://urait.ru/bcode/537385 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика и программирование -- Объектно-ориентированное программирование -- Объектно-ориентированный анализ и программирование -- Программирование -- Программирование и программное обеспечение информационных технологий -- Теория и технология программирования -- Методы программирования -- Информатика и основы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Программирование: языки, методы и технологии -- Введение в программирование -- Технологии объектно-ориентированного программирования -- Основы информатики и программирования -- Основы программирования и информатики -- Введение в языки моделирования и объектно-ориентированное программирование -- Объектное программирование -- Объектно-ориентированные средства создания приложений -- Объектно-ориентированные методы -- Основы объектно-ориентированного программирования -- Алгоритмическое и объектно-ориентированное программирование -- Объектно-ориентированное программирование в мехатронике -- Языки объектно-ориентированного программирования -- Объектно-ориентированное программирование в научных исследованиях -- Технология объектно-ориентированного программирования -- Основы объектно-ориентированного моделирования -- Объектно-ориентированное программирование в среде Qt -- Программирование на ЭВМ -- Объектное программирование и объектное проектирование -- Объектно-ориентированное моделирование программно-аппаратных систем -- Объектно-ориентированное проектирование -- Объектно-ориентированные языки и системы -- Сравнительный анализ языков объектно-ориентированного программирования -- Объектно-ориентированный подход в инновационных технологиях -- Объектно-ориентированное моделирование -- Объектно-ориентированное моделирование и программирование -- Объектно-ориентированные технологии разработки программного обеспечения специальных организационно-технических систем -- Объектно-ориентированные технологии -- Объектно-ориентированное программирование систем защиты информации -- Современные технологии объектно-ориентированного программирования -- Объектно-ориентированное проектирование и программирование -- Объектно-ориентированное программирование транспортных систем -- Графическое и объектно-ориентированное программирование в робототехнике -- Линии передачи и устройства СВЧ. Объектно-ориентированное программирование, базы данных -- Объектно-ориентированное программирование в энергетической отрасли -- Объектно-ориентированное программирование в управлении техническими системами -- Объектно-ориентированное программирование и разработка программного обеспечения -- Методы и средства объектно-ориентированного программирования и проектирования -- Объектное моделирование предметов и конструкций -- Введение в объектно-ориентированное программирование -- Современные объектно-ориентированные языки программирования -- Объектно-ориентированное программирование и архитектура программного обеспечения -- Объектно-ориентированное программирование и шаблоны проектирования -- Объектно-ориентированные языки и системы программирования -- Объектно-ориентированные языки программирования -- Объектно-ориентированное программирование в проектировании сложных систем -- Методы объектно-ориентированного программирования -- Объектно-ориентированное и логическое программирование -- Структуры данных и методы объектно-ориентированного программирования
Аннотация: Курс посвящен основам объектно-ориентированного подхода на примере языка С#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
8.
Подробнее
Кудрявцева, Ирина .
Программирование: комбинаторная логика [Электронный ресурс] : учебное пособие для спо / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 524 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15128-2
URL: https://urait.ru/bcode/542030 (дата обращения: 12.03.2024).
ББК 32.973я723
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Программирование и основы алгоритмизации -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Основы алгоритмизации и программирования -- Введение в программирование -- Алгоритмизация и программирование -- Теория языков программирования -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Информатика (программирование и алгоритмы) -- Основы алгоритмизации и программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
Доп.точки доступа:
Швецкий, Михаил Владимирович \ред.\
Кудрявцева, Ирина .
Программирование: комбинаторная логика [Электронный ресурс] : учебное пособие для спо / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 524 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15128-2
URL: https://urait.ru/bcode/542030 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Программирование и основы алгоритмизации -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Основы алгоритмизации и программирования -- Введение в программирование -- Алгоритмизация и программирование -- Теория языков программирования -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Информатика (программирование и алгоритмы) -- Основы алгоритмизации и программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
Доп.точки доступа:
Швецкий, Михаил Владимирович \ред.\
9.
Подробнее
Кудрявцева, Ирина .
Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 652 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11088-3
URL: https://urait.ru/bcode/542163 (дата обращения: 12.03.2024).
ББК 32.973я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Программирование на ЭВМ -- Теория типов
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Доп.точки доступа:
Швецкий, Михаил Владимирович
Кудрявцева, Ирина .
Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 652 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11088-3
URL: https://urait.ru/bcode/542163 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Программирование на ЭВМ -- Теория типов
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Доп.точки доступа:
Швецкий, Михаил Владимирович
10.
Подробнее
Гниденко, Ирина Геннадиевна.
Технологии и методы программирования [Электронный ресурс] : учебное пособие для вузов / И. Г. Гниденко, Ф. Ф. Павлов, Д. Ю. Федоров. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 248 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-18130-2
URL: https://urait.ru/bcode/536903 (дата обращения: 12.03.2024).
ББК 32.973-018я73
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика -- Информатика и информационные технологии -- Программирование -- Технология разработки программного обеспечения -- Информатика и основы компьютерных технологий -- Теория и технология программирования -- Методы программирования -- Средства и методы программирования -- Информатика, в т.ч. современные информационные технологии -- Информатика и информационные технологии в профессиональной деятельности -- Основы информатики -- Основы программирования -- Программирование для ЭВМ -- Языки и методы программирования -- Технологии и методы программирования -- Компьютерные технологии и информатика -- Введение в программирование -- Программирование (язык Python) -- Введение в алгоритмы и программирование на языке Python -- Программирование на Python -- Введение в Питон -- Информатика и современные информационные технологии -- Язык программирования Питон -- Технологии разработки программного обеспечения -- Язык Python -- Введение в информатику -- Информатика (компьютерная грамотность) -- Программирование: PYTHON -- Информатика и цифровые технологии -- Программирование на языке Python -- Информатика, современные информационные технологии -- Язык программирования Python -- Современные языки и методы программирования -- Информатика и компьютерные технологии -- Основы программирования на Python -- Корректирующий курс по информатике -- Высокопроизводительные вычисления в математической физике на языке Python -- Прикладное машинное обучение на языке Python -- Программирование на ЭВМ -- Основы языка Python -- Язык Python и его приложения -- Информатика и ИКТ -- Информатика и современные компьютерные технологии -- Информатика и ИТ -- Python-программирование -- Информатика и основы информационных технологий -- Основы программирования на языке Python -- Введение в анализ данных с Питон -- Введение в машинное обучение с Питон -- Информатика и информационные профессиональные технологии -- Современные языки и технологии программирования -- Информатика и информационные технологии в профессиональной деятельности (лабораторный практикум) -- Основы программирования в среде Python -- программирование в среде Python -- Прикладное программирование на Python -- Оптимизация программного обеспечения -- Машинное обучение на Python -- Основы языка программирования Python -- Информационные технологии (информатика) -- Информатика и ИКТ в ПД -- Программирование в Python -- Профессиональная разработка программного обеспечения Python
Аннотация: Пособие предлагает глубокое изложение основ современных технологий и методов программирования, соответствующее уровню знаний, необходимому для практической работы будущих специалистов в области информационных технологий. Удачным представляется рассмотрение двух языков программирования, которые в настоящее время широко используются при решении разнообразных прикладных задач C и Python. На их примере рассматриваются различные парадигмы программирования: структурная, объектно-ориентированная и функциональная. Материал практического характера подан таким образом, чтобы была возможность его самостоятельного освоения.
Доп.точки доступа:
Павлов, Федор Федорович
Федоров, Дмитрий Юрьевич
Гниденко, Ирина Геннадиевна.
Технологии и методы программирования [Электронный ресурс] : учебное пособие для вузов / И. Г. Гниденко, Ф. Ф. Павлов, Д. Ю. Федоров. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 248 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-18130-2
URL: https://urait.ru/bcode/536903 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Информатика -- Информатика и информационные технологии -- Программирование -- Технология разработки программного обеспечения -- Информатика и основы компьютерных технологий -- Теория и технология программирования -- Методы программирования -- Средства и методы программирования -- Информатика, в т.ч. современные информационные технологии -- Информатика и информационные технологии в профессиональной деятельности -- Основы информатики -- Основы программирования -- Программирование для ЭВМ -- Языки и методы программирования -- Технологии и методы программирования -- Компьютерные технологии и информатика -- Введение в программирование -- Программирование (язык Python) -- Введение в алгоритмы и программирование на языке Python -- Программирование на Python -- Введение в Питон -- Информатика и современные информационные технологии -- Язык программирования Питон -- Технологии разработки программного обеспечения -- Язык Python -- Введение в информатику -- Информатика (компьютерная грамотность) -- Программирование: PYTHON -- Информатика и цифровые технологии -- Программирование на языке Python -- Информатика, современные информационные технологии -- Язык программирования Python -- Современные языки и методы программирования -- Информатика и компьютерные технологии -- Основы программирования на Python -- Корректирующий курс по информатике -- Высокопроизводительные вычисления в математической физике на языке Python -- Прикладное машинное обучение на языке Python -- Программирование на ЭВМ -- Основы языка Python -- Язык Python и его приложения -- Информатика и ИКТ -- Информатика и современные компьютерные технологии -- Информатика и ИТ -- Python-программирование -- Информатика и основы информационных технологий -- Основы программирования на языке Python -- Введение в анализ данных с Питон -- Введение в машинное обучение с Питон -- Информатика и информационные профессиональные технологии -- Современные языки и технологии программирования -- Информатика и информационные технологии в профессиональной деятельности (лабораторный практикум) -- Основы программирования в среде Python -- программирование в среде Python -- Прикладное программирование на Python -- Оптимизация программного обеспечения -- Машинное обучение на Python -- Основы языка программирования Python -- Информационные технологии (информатика) -- Информатика и ИКТ в ПД -- Программирование в Python -- Профессиональная разработка программного обеспечения Python
Аннотация: Пособие предлагает глубокое изложение основ современных технологий и методов программирования, соответствующее уровню знаний, необходимому для практической работы будущих специалистов в области информационных технологий. Удачным представляется рассмотрение двух языков программирования, которые в настоящее время широко используются при решении разнообразных прикладных задач C и Python. На их примере рассматриваются различные парадигмы программирования: структурная, объектно-ориентированная и функциональная. Материал практического характера подан таким образом, чтобы была возможность его самостоятельного освоения.
Доп.точки доступа:
Павлов, Федор Федорович
Федоров, Дмитрий Юрьевич
Страница 1, Результатов: 14