Адрес:
109004, г. Москва,
ул. А. Солженицына,
дом 25.
Факс:
+7(495) 912-15-24
E-mail:
Новости института
9-й конкурс исследовательских грантов Innovation Research Program
HP Labs проводит очередной конкурс исследовательских грантов Innovation Research Program.
ПодробнееЛекция профессора Х. Колберга
29 декабря в 12.00 в аудитории 110 ИСП РАН состоится лекция профессора Х.Колберга (университет Аризоны).
Шестой саммит Open Cirrus
Шестой саммит Open Cirrus будет проведен CERCS в университетском городке Технологического института Джорджии.
ПодробнееОтдел «Инструментальных средств разработки программ»
Введение
Непрерывно возрастающая сложность создаваемых программных комплексов обуславливает необходимость использования языков моделирования и формальных спецификаций. Как правило, их применение позволяет упростить разработку и снизить затраты за счет автоматизации значительной части работ по созданию приложений. Практическое использование данных подходов требует удобных средств инструментальной поддержки. Созданию и исследованию таких средств посвящена деятельность нашего отдела.
Список основных научных и практических интересов отдела включает в себя:
- языки моделирования и формальной спецификации;
- разработку программного обеспечения на основе моделей;
- трансформации моделей, включая рефакторинг моделей и генерацию исполняемого кода;
- сравнение моделей и объединение содержащихся в них изменений.
Более подробно с научными работами членов отдела можно ознакомиться в разделе Публикации.