Пошук академічних текстів

Інформація × Реєстраційний номер 0498U002701, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 11-12-1998 Статус Запланована Назва роботи Методы и средства визуального объектно-ориентированного проектирования программных систем на основе контурных Р-схем Здобувач Ершов Сергей Владимирович, Керівник Вельбицкий И.В. Опонент Провотар О.И. Опонент Дерецкий В.О. Опис Объект исследования: Визуальные языки для спецификации объектно-ориентированных распределенных систем. Цель исследования: Разработать математический аппарат контурных Р-схем, разработать визуальный язык спецификации объектно-ориентированных распределенных систем контурных Р-схем. Методы исследования и аппаратура: Методы объектно-ориентированных проектирования программных систем, теории взаимодействующих процессов, коммуникации и координации в распределительнных системах, теории алгебраических систем, теории графов и математической логики. Теоретические результаты и новизна: Предложен и обоснован новый математический аппарат для целей объектно-ориентированного проектирвания и программирования распределенных программных систем.Разработана декларативная и аксиоматическая семантики контурных Р-схем, предложено визуальное представление протоколов синхронизации и наследования протоколов. Практические результаты и новизна: Разработан метод объектно-ориентированного проектирования на основе обобщения идей отечественной Р-технологии программирования. Разработана среда инструментальной поддержки объектно-ориентированного проектирования и распараллеливания в компьютерных сетях на основе унифицированного визуального языка. Предмет и степень внедрения: Методы применены при разработке системы управления глобальными компьютерными сетями в рамках проекта INCO-COPERNICUS 96-0114 Европейского Союза. Эффективность внедрения: Улучшения качества и надежности распределенных систем, создаваемых с использованием предложенных методов и средств.Контурные Р-схемы увеличивают производительность труда при разработке и сопровождении объектно-ориентированных систем. Сфера (область) использования: Технология программирования, программная инженерия, инструментальные средства автоматизации разработки программного обеспечения. Дата реєстрації 1998-12-11 Додано в НРАТ 2020-05-17 Закрити