Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
Подобные документы
Характеристика основных этапов процесса бинарной ректификации в химическом производстве. Анализ видов систем автоматизации ректификационных установок. Анализ возможностей применения программных моделирующих комплексов на стадии проектирования и обучения.
статья, добавлен 29.05.2017Рассмотрение вопросов определения предельного быстродействия комбинированных моделей систем автоматического регулирования на базе виртуального и реального программируемого логического контроллера. Использование программных алгоритмов регулирования.
статья, добавлен 19.03.2023Экономическая информационная система как совокупность организационных, технических, программных и информационных средств, объединённых в единую систему с целью сбора, хранения, обработки и выдачи необходимой информации. Автоматизация конторских работ.
контрольная работа, добавлен 30.07.2015Обзор и анализ информационных систем, предназначенных для автоматизации документооборота. Основные виды систем электронного документооборота. Рейтинг по востребованности и популярности на отечественном рынке средств автоматизации документооборота.
статья, добавлен 16.02.2019Изучение развития аппаратных техник виртуализации в процессорах серверных систем. Характеристика эволюции уровней абстрагирования программных платформ от многозначности до виртуализации. Анализ динамической трансляции, программной и паравиртуализации.
доклад, добавлен 20.12.2010Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Разработка конфигурации "Автоматизация учета продаж программных продуктов, поставляемых франчайзинговой фирмой" на платформе "1С: Предприятие 8.2.". Составление алгоритма поиска информации о поставщиках, клиентах и реализуемой продукции, доходе фирмы.
дипломная работа, добавлен 21.02.2016Применение систем контроля и автоматизации в ресторанном бизнесе, современный рынок программных продуктов для ресторанного бизнеса. Автоматизация процессов обслуживания посетителей (фронт-офиса) на предприятиях индустрии питания и гостеприимства.
статья, добавлен 16.03.2019- 84. Реализация некоторых методов системологии в компьютерной поддержке принятия управленческих решений
Авторская программная реализация концепции целенаправленных систем Дж. Клира для поддержки принятия решений с позиций системологии в программной среде автора AimDSS. Практические разработки в области программных систем, реализующих методы системологии.
статья, добавлен 15.05.2017 Понятие и содержание экспертных систем, их главные достоинства и назначение, отличия от других программных продуктов, отличительные особенности первого и второго поколения. Ограничения в применении систем. Структура систем, основанных на знаниях.
курсовая работа, добавлен 12.05.2011Специфика и задачи информационных программных систем. Построение интерфейса. Выработка концептуальной схемы базы данных. Характеристики динамической и статической схем обработки встроенного SQL. Требования к техническим средствам, поддерживающим ИС.
курсовая работа, добавлен 26.05.2014Рассмотрение метода разработки сложных промышленных приложений с возможностью их дальнейшего использования на устройствах с ограниченными вычислительными ресурсами. Анализ метода, позволяющего обеспечить взаимодействие нескольких гомогенных систем.
автореферат, добавлен 25.10.2018Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Анализ сущности экспертных систем, определение их назначения и отличий от других программных продуктов. Рассмотрение областей применения экспертных систем. Выявление недостатков и преимуществ экспертных систем по сравнению с человеком-экспертом.
реферат, добавлен 24.04.2014Проблема построения среды дореализационного моделирования и тестирования для разработки программного обеспечения. Анализ возможностей некоторых современных CASE-средств и тенденции их дальнейшего развития. Сложности, возникающие при подключении.
статья, добавлен 14.07.2016UML как язык визуального описания принципов работы программных продуктов, созданный для определения, визуализации, проектирования и документирования, в основном, программных систем. Плюсы и минусы языка моделирования, динамичное развитие и поддержка.
статья, добавлен 30.04.2019Описание правил бухгалтерского учета поступления материалов и расчетов с поставщиками. Проектирование автоматизированной системы расчетов с поставщиками с применением программных средств Bpwin, IDEF0, IDEF3 и DFD. Требования к программной документации.
курсовая работа, добавлен 05.02.2013Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
автореферат, добавлен 02.05.2018Исследование и сравнительный анализ существующих подходов и моделей поиска данных и интеграции данных распределенных неоднородных информационных систем. Создание комплекса программ и моделей выполнения операций, разработка алгоритмов их реализации.
автореферат, добавлен 25.07.2018Анализ формальных и промышленных стандартов. Применение общих международных стандартов в информатике. Использование интернета при разработке стандартов. Структура системы стандартизации. Рассмотрение открытых систем. Применение объектных моделей.
презентация, добавлен 29.05.2014Особенности использование автоматной модели смешанного типа при проектировании протоколов распределенных технических систем. Применение метода структурной декомпозиции первичной спецификации протокола. Способы соединения компонентных автоматов.
статья, добавлен 15.07.2013- 97. Проектирование систем программного обеспечения под управлением онтологий: модели, методы, реализации
Сравнительный анализ атрибутов жизненного цикла программной инженерии и онтологического инжиниринга. Анализ особенностей использования методов и средств машинного обучения для генерации онтологических моделей проектирования программного обеспечения.
статья, добавлен 29.08.2021 Рассмотрение современных программных средств для решения задач организации строительства. Характеристика специальных ПК для решения задач организации строительства. Исследование распространенных примеров применения программных средств в строительстве.
реферат, добавлен 30.03.2016Метод выявления аномалий, порожденных кибератаками в информационных системах. Усовершенствование процесса формализации получения лингвистических эталонов параметров для повышения эффективности построения соответствующих систем выявления вторжений.
статья, добавлен 25.03.2016Положения в области внедрения CRM-систем в индустрию здравоохранения. Актуальность и преимущества внедрения таких систем для медицинских учреждений. Типы медицинских CRM-систем. Оптимизация и автоматизация внутренних и внешних процессов организаций.
статья, добавлен 06.09.2024