Учебники: доп. пособия
Количество страниц 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. Для студентов, аспирантов и научных сотрудников, чья деятельность связана с параллельными вычислениями.

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

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