Search academic texts

Information × Registration Number 0498U002701, Candidate dissertation Status к.ф.-м.н. Date 11-12-1998 popup.evolution o Title Author Ершов Сергей Владимирович, popup.head Вельбицкий И.В. popup.opponent Провотар О.И. popup.opponent Дерецкий В.О. Description Объект исследования: Визуальные языки для спецификации объектно-ориентированных распределенных систем. Цель исследования: Разработать математический аппарат контурных Р-схем, разработать визуальный язык спецификации объектно-ориентированных распределенных систем контурных Р-схем. Методы исследования и аппаратура: Методы объектно-ориентированных проектирования программных систем, теории взаимодействующих процессов, коммуникации и координации в распределительнных системах, теории алгебраических систем, теории графов и математической логики. Теоретические результаты и новизна: Предложен и обоснован новый математический аппарат для целей объектно-ориентированного проектирвания и программирования распределенных программных систем.Разработана декларативная и аксиоматическая семантики контурных Р-схем, предложено визуальное представление протоколов синхронизации и наследования протоколов. Практические результаты и новизна: Разработан метод объектно-ориентированного проектирования на основе обобщения идей отечественной Р-технологии программирования. Разработана среда инструментальной поддержки объектно-ориентированного проектирования и распараллеливания в компьютерных сетях на основе унифицированного визуального языка. Предмет и степень внедрения: Методы применены при разработке системы управления глобальными компьютерными сетями в рамках проекта INCO-COPERNICUS 96-0114 Европейского Союза. Эффективность внедрения: Улучшения качества и надежности распределенных систем, создаваемых с использованием предложенных методов и средств.Контурные Р-схемы увеличивают производительность труда при разработке и сопровождении объектно-ориентированных систем. Сфера (область) использования: Технология программирования, программная инженерия, инструментальные средства автоматизации разработки программного обеспечения. Registration Date 1998-12-11 popup.nrat_date 2020-05-17 Close