Информатика. Электроника. Связь
Количество страниц 344

Описание:
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel,.NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.

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

Описание:
Данное учебное пособие предназначено для освоения практического курса параллельного программирования с использованием технологий MPI и OpenMP. В настоящее время технология MPI является основным средством программирования для кластерных систем и компьютеров с распределенной памятью, а технология OpenMP - для компьютеров с общей памятью. Курс включает в себя описание большей части функциональности стандартов MPI-2.2 и OpenMP 3.1 с примерами их применения, а также практические сведения, которые могут потребоваться при написании реальных программ с использованием этих технологий параллельного программирования. Учебное пособие может использоваться также в качестве справочника по рассматриваемым технологиям параллельного программирования, однако некоторые процедуры и детали описания соответствующих стандартов опускаются для простоты изложения и восприятия материала. Описание ведется с использованием технологий MPI и OpenMP в программах на языках программирования Си и Фортран. Для проверки примеров и получения результатов использовались суперкомпьютеры СКИФ МГУ "Чебышев" и "Ломоносов". В конце разделов приводятся контрольные вопросы и задания, которые можно использовать в процессе обучения. Ключевые слова: параллелизм, программирование, суперкомпьютер, MPI, OpenMP. Для студентов, аспирантов и научных сотрудников, чья деятельность связана с параллельными вычислениями.

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

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

Описание:
В книге рассмотрены основные вопросы полупроводниковой электроники, аналоговой и цифровой схемотехники. Освещены типы и области применения электронных приборов и устройств; параметры современных полупроводниковых устройств: генераторов, вторичных источников питания, цифровых преобразователей, микропроцессорных управляющих и измерительных комплексов. Представлены интерфейсные схемы, схемотехника аналоговых устройств на основе операционных усилителей, силовая электроника. Особое внимание уделяется основам микропроцессорной техники.