НИОКТР
№ АААА-А18-118020290026-7Исследование и разработка методов декомпозиции и конструирования сложных информационных систем на примере определений компьютерных языков и систем программирования, ориентированных на организацию параллельных процессов
02.02.2018
Актуальность методик декомпозиции определений компьютерных языков видна по экстенсивности порождения новых предметно-ориентированных языков. Уровень значимости таких методик можно оценить по росту числа проблем организации обработки больших массивов данных, обеспечения надёжности Web-сервисов и многого другого, что пока программируется как побочные эффекты. Новизна предлагаемых методик заключается в переносе ряда методов, сложившихся в языках высокого и сверх высокого уровня, на задачи конструирования систем программирования для новых компьютерных языков, включая языки параллельного программирования.
ГРНТИ
50.05.13 Технология программирования. Автоматизация программирования.
50.41.17 Системное программное обеспечение
50.05.03 Общетеоретические вопросы программирования
50.05.09 Языки программирования
Ключевые слова
СОВЕРШЕНСТВОВАНИЕ ПРОГРАММ
СИНТАКСИЧЕСКИЙ АНАЛИЗ
ДЕКОМПОЗИЦИЯ ОПРЕДЕЛЕНИЙ
ЯЗЫКИ ПРОГРАММИРОВАНИЯ
ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ
Детали
Начало
01.01.2018
Окончание
31.12.2020
№ контракта
18-07-01048 А
Заказчик
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "РОССИЙСКИЙ ФОНД ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ"
Исполнитель
Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук
Бюджет
Средства фондов поддержки научной и (или) научно-технической деятельности: 700 000 ₽
Похожие документы
Исследование и разработка методов декомпозиции и конструирования сложных информационных систем на примере определений компьютерных языков и систем программирования, ориентированных на организацию параллельных процессов (промежуточный за 2019 г.)
0.945
ИКРБС
Промежуточный отчет за 2018 г.
0.927
ИКРБС
Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ
0.880
Диссертация
-Разработка новых методов и технологий построения трансляторов языков программирования для вычислительных систем
0.877
НИОКТР
Методы и средства разработки верифицируемого программного обеспечения с использованием предметно-ориентированных языков, имеющих заданную формальную семантику
0.875
НИОКТР
Развитие теории и методов анализа и проектирования программ
0.875
НИОКТР
Разработка новых методов и технологий построения трансляторов языков программирования для вычислительных систем
0.872
ИКРБС
Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований
0.870
ИКРБС
Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований
0.869
ИКРБС
Декомпозиция содержания и унифицированное когнитивное управление системами формализованных знаний в прикладных областях.
0.869
НИОКТР