Учебник разработан с учетом требований профессиональных стандартов, сопряженных с профессиональной деятельностью выпускника: «Программист», «Администратор баз данных», «Специалист по информационным системам», «Руководитель проектов в области информационных технологий», «Специалист по тестированию в области информационных технологий», «Технический писатель», «Системный администратор информационно-коммуникационных систем», «Специалист по администрированию сетевых устройств информационно коммуникационных систем». Учебник предназначен для бакалавров направлений подготовки 09.03.01 — Информатика и вычислительная техника; 09.03.02 — Информационные системы и технологии; 09.03.04 — Программная инженерия, 09.04.01 — Информатика и вычислительная техника (магистратура). Учебник включает дипломированные лабораторные работы и практические задания, разработанные на соответствие требований профессиональных стандартов 06 группы: Связь и информационно-коммуникационные технологии. В каждом практическом задании определяется цель, прилагается теоретический материал, представляются способы решений заданий. По таблице критериев оценивания выполненного задания обучающийся может самостоятельно проверить и оценить себя.

Рекомендовано Министерством образования Российской Федерации в качестве учебного пособия по дисциплине "Надежность, эргономика и качество" для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов 654500 "Информатика и вычислительная техника" и направлению подготовки бакалавров и магистров 552800 "Информатика и вычислительная техника". В учебном пособии дается систематическое изложение аналитических методов оценки надежности аппаратно-программных комплексов и практических методов обеспечения надежности. Данное пособие является усовершенствованным вариантом опубликованного в 1975 году учебного пособия: Черкесов Г. Н. "Основы теории надежности АСУ", прошедшего многолетнюю апробацию в учебном процессе СПбГТУ и других вузов.

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

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

В книге представлен обзор состояния перспективной и быстроразвивающейся технологии распределенного реестра данных, или блокчейн. Подробно рассматривается архитектура блокчейн-систем и описание их аппаратно-программных компонент. Рассмотрены особенности смарт контрактов, реализуемых в блокчейн-сетях и пример возможного применения блокчейн в лесной логистике и поставке лесной продукции

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

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

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

Учебное пособие содержит курс лекций по дисциплине "Сертификация информационных систем". Предназначено для студентов специальности "Информационные системы и программирование". Пособие состоит из двух глав: защита и сохранность информации баз данных, сертификация информационных систем. Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены основы сертификации, обеспечения качества и безопасности программных продуктов на базе международных стандартов серии ИСО 9000. 3-е издание, стереотипное.

Учебное пособие содержит курс лекций по дисциплине «Сертификация информационных систем». Предназначено для студентов специальности «Информационные системы и программирование». Пособие состоит из двух глав: защита и сохранность информации баз данных, сертификация информационных систем. Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены основы сертификации, обеспечения качества и безопасности программных продуктов на базе международных стандартов серии ИСО 9000.

Учебное пособие содержит курс лекций по дисциплине «Сертификация информационных систем». Предназначено для студентов специальности «Информационные системы и программирование». Пособие состоит из двух глав: защита и сохранность информации баз данных, сертификация информационных систем. Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены основы сертификации, обеспечения качества и безопасности программных продуктов на базе международных стандартов серии ИСО 9000.

Книга представляет собой практическое руководство по разработке систем управления, сбора и обработки данных с применением инструментальной среды проектирования LabVIEW. Значительная часть материала книги посвящена разработке аппаратно-программных интерфейсов многофункциональных модулей обработки данных с внешним оборудованием. .

Книга представляет собой практическое руководство по разработке систем управления, сбора и обработки данных с применением инструментальной среды проектирования LabVIEW. Значительная часть материала книги посвящена разработке аппаратно-программных интерфейсов многофункциональных модулей обработки данных с внешним оборудованием. .

Эта книга для всех, кто, не имея специального математического образования, хочет узнать, как применять методы оптимизации для решения практических задач. В ней рассматриваются задачи оптимизации из различных сфер деятельности: экономика, финансы, техника, проектирование, строительство и др., излагаются теоретические основы методов оптимизации (линейное, нелинейное и динамическое программирование). В разделе "Динамическое программирование" опровергаются некоторые устоявшиеся стереотипы и умозаключения; для широкого круга задач предложен новый метод "динамическое программирование на множествах Парето". По каждому из трех разделов приводятся контрольные вопросы и задачи, на большинство из них в приложениях даны ответы и решения. Приводятся сведения о пяти обучающих компьютерных программах, специально разработанных для изучения методов оптимизации. Используемый математический аппарат сведен к минимуму и поясняется в тексте, что обеспечивает понимание методов оптимизации при наличии математической подготовки в объеме программы обычного технического вуза, а для понимания основных идей динамического программирования достаточно знаний в объеме средней школы. В основу книги положен курс лекций, читаемых автором на кафедре "Прикладная синергетика" Московского института радиотехники, электроники и автоматики (МИРЭА), и практический опыт разработки алгоритмов и программных средств для решения задач большой размерности в рамках САПР.

Возвращение знаменитого бестселлера. Изящный, гибкий и понятный код, который легко модифицировать, который корректно работает и который не подкидывает своим создателям неприятных сюрпризов. Неужели подобное возможно? Чтобы достичь цели, попробуйте тестировать программу еще до того, как она написана. Именно такая парадоксальная идея положена в основу методики TDD (Test-Driven-Development — разработка, основанная на тестировании). Бессмыслица? Не спешите делать скороспелые выводы. Рассматривая применение TDD на примере разработки реального программного кода, автор демонстрирует простоту и мощь этой методики. В книге приведены два программных проекта, целиком и полностью реализованных с использованием TDD. За рассмотрением примеров следует обширный каталог приемов работы в стиле TDD, а также паттернов и рефакторингов, имеющих отношение к TDD. Книга будет полезна для любого программиста, желающего повысить производительность своей работы и получить удовольствие от программирования.