Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

В настоящем издании рассмотрены основы автоматизированного конструирования и технологической подготовки производства изделий корпусной мебели в отечественной САПР БАЗИС. Приведены основные понятия и положения конструкторского проектирования корпусной мебели и конструкторско-технологической подготовки производства. Дано общее описание структуры, состава и принципов организации системы БАЗИС. Подробно рассмотрены ее возможности для построения и редактирования геометрических моделей мебельных изделий, включая параметрическое моделирование, формирования чертежно-конструкторской документации, дизайна интерьеров помещений, раскроя материалов, расчета технико-экономических показателей, передачи информации на станки с ЧПУ. Большое внимание уделено практическим приемам работы со всеми модулями системы БАЗИС.

Цель работы: изучение методов и приемов программирования коммуникационных интерфейсов для систем сбора информации на примере протокола Modbus.

В данном пособии описан интерфейс прикладного программирования (API) UNIX-совместимых операционных систем: от файловых операций и использования библиотек до методов и средств разработки многозадачного и многопоточного программного обеспечения, а также средства межзадачной (IPC) и межпоточной коммуникации: программные каналы и каналы FIFO, очереди сообщений, семафоры, разделяемая память System V и POSIX, взаимные исключения и условные переменные. Кроме того, кратко обсуждаются средства коммуникации процессов по сети и особенности взаимодействия приложений и системных служб.

В третьем издании классического труда професоров Амстердамского университета Эндрю Таненбаума и Мартена ван Стина обсуждаются принципы и парадигмы распределенных систем. Кроме обширного теоретического материала в книге приведен код на языке Python (размещен на сайте dmkpress.com), демонстрирующий использование полученных знаний на практике. В числе рассматриваемых тем: основные характеристики распределенных систем; архитектуры программных компонентов, входящих в систему; процессы и коммуникации; присваивание имен; согласованность и репликация; отказоустойчивость и безопасность.

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

Пособие представляет 1 часть курса лекций, подготовленного в соответствии с Федеральным государственным образовательным стандартом высшего образования. В нём рассматривается теория и практика реализации языка гипертекстовой разметки HTML и языка web-программирования JavaScript.

Фреймворк EJB 3 предоставляет стандартный способ оформления прикладной логики в виде управляемых модулей, которые выполняются на стороне сервера, упрощая тем самым создание, сопровождение и расширение приложений Java EE. Версия EJB 3.2 включает большее число расширений и более тесно интегрируется с другими технологиями Java, такими как CDI, делая разработку еще проще. Книга знакомит читателя с EJB на многочисленных примерах кода, сценариях из реальной жизни и иллюстрациях. Помимо основ в ней описываются некоторые особенности внутренней реализации, наиболее эффективные приемы использования, шаблоны проектирования, даются советы по оптимизации производительности и различные способы доступа, включая веб-службы, службы REST и веб-сокеты.

Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink матричной системы MATLAB. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. Отражены средства виртуальной реальности. Описаны сотни наглядных примеров применения этих средств.

Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink матричной системы MATLAB. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. Отражены средства виртуальной реальности. Описаны сотни наглядных примеров применения этих средств.

В пособии (курс лекций) представлено систематизированное изложение методологических основ формирования управленческого решения, особенностей процесса принятия управленческих решений, описание содержания создания систем поддержки принятия решений.

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

В книге излагается структура компилятора, основные принципы построения всех его основных блоков — лексического, синтаксического и семантического анализаторов, а также генератора кода. Методы компиляции программ на Паскале описаны на языке С.

В книге описана работа с де-факто стандартом в области открытых продуктов построения облачной инфраструктуры типа «Инфраструктура как сервис» (IaaS) — OpenStack. Данный проект пользуется поддержкой более двух сотен компаний, включая практически всех лидеров ИТ-рынка. Помимо теоретических знаний, книга содержит множество практических упражнений, благодаря которым читатель сможет развернуть собственный стенд для тестирования возможностей облака. Читатель познакомится с основными сервисами облачной операционной системы OpenStack. Рассмотрены такие компоненты, как сервис идентификации пользователей, сервисы построения объектного хранилища (Swift), блочного (Glance), хранилища образов. В главе, посвященной сетевым службам, рассматриваются концепции программно-определяемой сети, работа с OpenStack Neutron и Open vSwitch. Также рассматриваются cервис мониторинга Ceilometer, cервис оркестрации Heat и принципы обеспечения высокой доступности облака. В четвертое издание добавлен материал по работе с сетью, настройками производительности и отказоустойчивости. В связи с переходом на сервис Gnocchi переработана глава, посвященная сервису телеметрии.

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

Рассмотрены основные моменты разработки сетевых приложений для платформы Win32, сетевые функции Windows, а также наиболее распространенные сетевые протоколы. Библиогр.: 5 назв.

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

Пособие посвящено вопросам приобретения практических навыков программирования микроконтроллеров: обучающиеся получат навыки работы с 8-битными микроконтроллерами AVR, 32-битными устройствами Espressif, системами визуализации и устройствами ввода информации, а также с виртуальными средами моделирования.

В книге изложен учебный курс для школьников, начинающих изучать компьютерное зрение с языком программирования Python и библиотекой OpenCV. Описаны особенности установки языка Python, различных библиотек, в том числе OpenCV, и операционной системы Raspbian. Материал разделен на три отдельные темы: программирование на Python, поиск и выделение цветных объектов на графическом изображении и в видеопотоке средствами OpenCV, программирование колесной робоплатформы под управлением Raspberry Pi 3, оснащенной CSI-камерой. Большую помощь читателю окажут многочисленные иллюстрации и листинги программных кодов, а также ссылки на источники и интернет-ресурсы.

В книге рассматриваются так называемые модели «черного ящика» для повышения адаптивности, интерпретируемости и объяснимости решений, принимаемых алгоритмами искусственного интеллекта (ИИ) с использованием библиотек Python XAI, TensorFlow 2.0+, Keras, а также пользовательских фреймворков с использованием Python Wrappers.

Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink матричной системы MATLAB. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. Отражены средства виртуальной реальности. Описаны сотни наглядных примеров применения этих средств.

Рассматриваются возможности современных программно-аппаратных средств (нейроинтерфейсов и айтрекеров) в когнитивных исследованиях. Изложение теоретических основ программно-аппаратного обеспечения и примеров новых исследований, проведенных с его использованием, дополнено описанием лабораторных работ, цель которых – обучиться применению нейротехнологий на практике.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

В издании описаны процесс программирования скоординированных перемещений двух роботов-манипуляторов на базе коллаборативного робота IRB 14000 YuMi и особенности конфигурирования контроллера IRC5. Рассмотрены общие вопросы безопасности, процесс работы с пультом управления FlexPendant, данные о калибровке робота, структура программы и программных данных, управление входами и выходами.

В книге подробно рассматривается работа с Elastic Stack – обширной экосистемой компонентов, которые служат для сбора, поиска и обработки данных. Вы ознакомитесь с общими принципами машинного обучения, узнаете о методах автоматического обнаружения аномалий, проверке целостности и анализа данных из разрозненных источников, научитесь истолковывать результаты обнаружения и прогнозирования аномалий и использовать их в своих целях, а также выполнять анализ временных рядов для различных типов данных.

В этой книге поэтапно рассматриваются средства Excel, связанные с визуализацией данных, – от элементарных операций с рабочими листами до построения полноценных диаграмм и дашбордов. Вы научитесь анализировать огромные массивы данных и представлять их в сжатом и понятном виде, обеспечивать их визуальную привлекательность, автоматизировать анализ и отчеты.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Предметом книги является подробное рассмотрение реальных инженерных проблем, решенных посредством модулей SolidWorks Simulation (COSMOSWorks, COSMOSMotion и COSMOSFloWorks). Это задачи анализа прочности, кинематики, динамики, гидрогазодинамики и теплопередачи. Прочтя книгу, читатель получит полное представление о функциональности алгоритмов и программ, ознакомится с методиками использования численных методов, присутствующих в популярной системе проектирования. Особенностью издания является обсуждение вопросов, связанных с совместным применением нормативных расчетных методик и универсальных компьютерных моделей, на базе реальных инженерных задач. Прослеживается путь решения от постановки задачи до обсуждения результатов. В качестве приложений предлагаются задачи Конкурса мастеров SolidWorks/COSMOSWorks, сопровождаемые результатами. На сайте www.dmkpress.com выложены геометрические и расчетные модели большинства задач, на базе которых построена книга. Многие модели включают результаты расчетов. Также на сайт издательства помещены полноцветные иллюстрации, приведенные в книге.

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

В книге представлены основные концепции байесовской статистики и ее практическая реализация на языке Python с использованием современной библиотеки вероятностного программирования РуМСЗ и новой библиотеки исследовательского анализа байесовских моделей ArviZ. Полученные знания о вероятностном моделировании позволят вам самостоятельно проектировать и реализовать байесовские модели для собственных задач научной обработки данных.

Рассматриваются принципы и методы эволюционного моделирования. Особое внимание уделяется главному методу эволюционного моделирования – генетическому алгоритму. Приводятся конкретные примеры его применения к решению различных задач оптимизации.

Эта книга показывает, как значительно усилить безопасность операционной системы Linux и устранить имеющиеся уязвимости установленных приложений. Вы узнаете, как работает SELinux, как можно настроить ее под свои нужды и усилить с ее помощью защиту систем виртуализации, включающих технологию libvirt (sVirt) и контейнеризацию Docker. Также рассказывается об управляющих действиях, позволяющих улучшить безопасность конкретной системы с помощью принудительного контроля доступа – стратегии защиты, определяющей безопасность Linux уже много лет. Большинство возможностей системы защиты рассматривается на реальных примерах.

Из этой книги вы узнаете, как система управления базами данных Cassandra справляется с обработкой сотен терабайтов данных, работая в нескольких ЦОДах и сохраняя высокую доступность. Во втором издании, дополненном и охватывающем версию Cassandra 3.0, вы найдете технические детали и практические примеры, которые помогут запустить эту систему в боевых условиях. Авторы демонстрируют достоинства нереляционного дизайна Cassandra, уделяя особое внимание моделированию данных.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

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

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

R — золотой стандарт, ежедневно используемый исследователями по всему миру для самых разных вычислений и статистического анализа данных. Этот свободно распространяемый язык с открытым исходным кодом включает огромное количество пакетов самой разной направленности, от расширенной визуализации данных до глубокого обучения. Чрезвычайно удобный для пользователей с математическим складом ума, R легко решает практические задачи, не заставляя думать о них с точки зрения программиста. Данная книга научит вас выполнять статистический анализ и визуализировать результаты с помощью R и его популярных пакетов; решать такие практические задачи, как прогнозирование, интеллектуальный анализ данных и разработка динамических отчетов. В третье издание добавлены новые сведения о построении диаграмм с помощью пакета ggplot2, а также приводятся примеры из области машинного обучения, такие как кластеризация, классификация и анализ временных рядов.

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

Рассмотрены возможности языка программирования Python в области визуализации данных. Для построения графиков использована библиотека Seaborn. Приведены примеры построения двумерных графиков, гистограмм и диаграмм, а также рассмотрены вопросы форматирования построенных графиков. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.

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

Рассмотрены вопросы обработки информации об объектах экосистем на основе когнитивного подхода к процессу определения соответствия элементов снимков объектам реального мира. Представлены взаимосвязи между объектами и свойствами растительного покрова северных экосистем и характеристиками высокодетальных аэрофотоснимков территорий с учетом иерархичности их структур, предложен метод обработки информации об объектах северных экосистем на основе структурного моделирования. Разработанный метод дешифрирования основан на увязке моделей семантического представления растительного покрова и синтаксического представления конструкций снимка с системой предметных действий, представленных специализированными алгоритмами.

Книга посвящена разработке веб-приложений в Node.js — платформе, которая выводит язык JavaScript за пределы браузера и позволяет использовать его в серверных приложениях. В основе платформы лежит исключительно быстрый движок JavaScript, заимствованный из браузера Chrome, к которому добавлена быстрая и надежная библиотека асинхронного сетевого ввода/вывода. Основной упор в Node.js делается на создании высокопроизводительных, хорошо масштабируемых клиентских и серверных приложений. На практических примерах вы научитесь пользоваться серверным и клиентским объектами HTTP, каркасами Connect и Express, освоите алгоритмы асинхронного выполнения и узнаете, как работать с базами данных на основе SQL и с MongoDB. Начав с практических рекомендаций по установке и настройке Node.js в режиме разработки и эксплуатации, вы научитесь разрабатывать клиентские и серверные HTTP-приложения, познакомитесь с применяемой в Node.js системой организации модулей на основе спецификации CommonJS, позволяющей реализовать подмножество технологии объектно-ориентированного проектирования.

Книга посвящена разработке веб-приложений в Node.js — платформе, которая выводит язык JavaScript за пределы браузера и позволяет использовать его в серверных приложениях. В основе платформы лежит исключительно быстрый движок JavaScript, заимствованный из браузера Chrome, к которому добавлена быстрая и надежная библиотека асинхронного сетевого ввода/вывода. Основной упор в Node.js делается на создании высокопроизводительных, хорошо масштабируемых клиентских и серверных приложений. На практических примерах вы научитесь пользоваться серверным и клиентским объектами HTTP, каркасами Connect и Express, освоите алгоритмы асинхронного выполнения и узнаете, как работать с базами данных на основе SQL и с MongoDB. Начав с практических рекомендаций по установке и настройке Node.js в режиме разработки и эксплуатации, вы научитесь разрабатывать клиентские и серверные HTTP-приложения; познакомитесь с применяемой в Node.js системой организации модулей на основе спецификации CommonJS, позволяющей реализовать подмножество технологии объектно-ориентированного проектирования.

Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании — без привязки к какой-либо программной или аппаратной платформе и языку программирования.

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

Настоящее учебное пособие содержит теоретический материал, многочисленные примеры, демонстрирующие практическое использование конструкций языка, а также варианты заданий для самоподготовки. Материал пособия может быть использован при изучении дисциплин «Информатика» (вторая часть) и «Современные языки программирования» студентами всех форм обучения направления 140400 «Электроэнергетика и электротехника».

Приведено описание средств процедурного программирования на языке Visual С++ в среде Microsoft Studio 2008. Подробно рассмотрены структура программы, типы данных, способы и особенности реализации вычислений, операторы организации ветвлений и циклов, а также адресная арифметика, основы работы с динамической памятью, особенности моделирования работы с массивами в С++. Особое внимание уделено также организации подпрограмм и различным способам передачи параметров в них и организации файловой системы хранения данных на внешних носителях информации.

В статье анализируются актуальные дискуссии по методологии истории философии и их общегуманитарный контекст. Сравнительный анализ эпистемологических установок истории идей (на примере работ А.О. Лавджоя, И. Берлина, а также исследований западного канона Г. Блума) и истории понятий (от пионера этой области исследований Г. Тейхмюллера до Р. Козеллека, К. Скиннера и Дж. Покока) позволяет установить особенности этих двух подходов, а также понять, существуют ли точки совпадения и каковы расхождения между ними. Кроме того, в статье освещаются важнейшие следствия из применения их историками философии как самостоятельных исследовательских дисциплин, таких как социальная антропология, литературоведение, лингвистика. В связи с этим обсуждается канонизация форм мышления как эффективный способ идентификации человека с определенным «воображаемым сообществом», которое одновременно обусловливает образ мысли своего субъекта и поддерживается им. Проведенный анализ позволяет утверждать, что поиски историков философии способствуют формированию парадигмальности самой философии, а следовательно, идеологических форм ее репрезентации; методологический успех историков философии заключается в таких особенностях их эвристических стратегий, которые позволяют им иметь дело с подлинной генеалогией настоящего, в рамках которой современность обнаруживает свои основания. Таким образом, историки философии оказываются в ситуации гипертекста, поскольку методология историко-философского поиска формирует исследовательскую среду. Подобная эвристика роднит исследования современных историков философии с работами представителей структурализма, который как метод оказался плодотворным вначале в науках о языке, а затем и в социальных науках.

Целью пособия является изучение основных компонентов информационных систем в здравоохранении, а также средств проектирования и разработки медицинских информационных систем.

Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. На многочисленных примерах автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании — без привязки к какой-либо программной или аппаратной платформе и языку программирования.

В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем.