Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
Подобные документы
Краткая характеристика материально-технического и программного обеспечения учебных лабораторий КиТ. Осуществление интеграции программных модулей. Ревьюирование программных продуктов. Изучены основы проектирования и разработка информационных систем.
отчет по практике, добавлен 11.05.2021Анализ и оценка одного из подходов к разработке информационной системы генерации формальных описаний научных статей. Исследование принципов функционирования такой системы, а также алгоритмов автоматического создания локальной базы данных цитирования.
доклад, добавлен 18.01.2018Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Характеристики метакомпьютерных систем. Рассмотрение различных типов распределенных операционных систем. Существование распределенной операционной системы в масштабах вычислительной системы. Проекты для создания распределенных операционных систем.
контрольная работа, добавлен 17.06.2015Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Автоматизация моделирования распределенных систем с помощью Марковских процессов и выбор вариантов систем с помощью эволюционных алгоритмов. Выбор структуры аппаратно-программного комплекса системы управления движением автомобильного транспорта.
статья, добавлен 17.01.2018Использование аппаратно-программных средств Интернета для создания сетевых приложений. Методика и опыт применения сетевых технологий для модернизации наукоемких систем автоматизации проектирования. Подключение удаленных клиентов через корпоративную сеть.
статья, добавлен 15.04.2018- 58. Обзор программных продуктов в области корпоративных информационных систем управления предприятием
Характеристика возможностей программных продуктов в области корпоративных информационных систем управления предприятием. Ознакомление с функциональной структурой системы "Галактика". Рассмотрение и анализ основных компонентов программы "Lotus Notes".
статья, добавлен 18.12.2017 Разработка и реализация комбинированной модели повышения транзакционной надежности распределенных систем обработки информации и управления. Формирование и исследование моделей транзакционной структуры распределенных систем по обработке информации.
диссертация, добавлен 11.04.2013Описание кросс-платформенной технологии сборки модульных программных систем. Характеристика сборки и тестирования ПС на платформе MS DOS с помощью встроенных средств развития, обеспечивающих автоматическое формирование функционального описания ПС.
статья, добавлен 15.04.2018Основные характеристики программных платформ. Приоритеты по цене и безопасности. Проработка бизнес-плана и открытие Интернет-магазина на выбранной платформе. Критерии для сравнения программных платформ: цена, безопасность, техническая поддержка, дизайн.
статья, добавлен 18.12.2017Реализация и изменение программной инженерии: инфраструктура и основные этапы данного процесса, цикл управления программой. Технология жизненного цикла программного обеспечения. Принципы автоматизации и адаптации. Модели, методы оценки процесса.
контрольная работа, добавлен 28.11.2014Методология объектно-ориентированного программирования, инструментальные средства создания программных систем на основе архитектуры взаимодействия объектов. Связь методология ООАП с концепцией автоматизированной разработки программного обеспечения.
презентация, добавлен 10.08.2013Ознакомление с методами оптимизации процессов программных вычислений. Рассмотрение преимуществ корпоративных информационных систем, функционирующих на базе распределенных компьютерных сетей. Анализ набора элементарных операций над случаями лечения.
статья, добавлен 19.01.2018Разработка системы агентного имитационного моделирования для решения задач в сферах экономики и социологии. Описание и задание поведения отдельных агентов с помощью DSL и средств инженерии знаний на примере экспертных систем на платформе .NET и языке C#.
статья, добавлен 26.04.2019Анализ классификации программного обеспечения проектирования информационных систем. Проектирование архитектуры информационной системы "Автоматизация деятельности диспетчера такси". Изучение процесса функционирования компании до и после автоматизации.
статья, добавлен 22.01.2017Обзор программных модулей и компонентов системы SAP R/3. Создание заранее сконфигурированных отраслевых решений. Рассмотрение информационной системы Microsoft Dynamics (AXAPTA). Сравнение программных комплексов динамического управления предприятиями.
контрольная работа, добавлен 03.05.2015Применение технологии экспертных систем для контроля правильности работы программных средств и баз данных. Особенности процесса наблюдения и сбора информации в вычислительной среде. Способы защиты информации. Составление схемы управления безопасностью.
статья, добавлен 20.05.2017Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Принципы построения корпоративной программной инфраструктуры. Обмен данными и процессами независимо от операционной системы. Технология взаимодействия распределенных объектов CORBA. Избыточность программных компонентов и сложность их использования.
курсовая работа, добавлен 22.05.2015Учет и его основное предназначение. Проблемы создания эффективной системы управления предприятием. Анализ программных продуктов оперативного учета. Применение систем комплексной автоматизации. Разработка программы учета продаж бухгалтерского учета.
курсовая работа, добавлен 07.07.2013Оценка вариантов решений с использованием метода анализа иерархий. Анализ проблемы сравнения различных систем автоматизированного планирования учебного процесса. Критерии сравнительного анализа программных продуктов, определение их весов процедурой Саати.
статья, добавлен 15.07.2018Использование различных распределенных информационных систем в современной инфраструктуре вуза. Применение единой платформы систем с множеством модулей для требуемой автоматизации. Значение дублирования операций и данных между различными системами.
статья, добавлен 05.11.2013Общая характеристика предприятия и его деятельности. Изучение программной и технической архитектуры информационной системы предприятия. Выбор комплекса задач автоматизации и характеристика существующих бизнес процессов. Описание программных модулей.
дипломная работа, добавлен 17.08.2017Основные классы современных параллельных электронно-вычислительных машин. Характеристика целей создания кластерных систем. Главный анализ отказоустойчивых и высокопроизводительных кластеров. Особенность концепции распределенных компьютерных вычислений.
курсовая работа, добавлен 14.04.2015