- 1981-1985 гг. --
- ``Разработка методики и системы автоматического
конструирования программ на основе оптимизирующих
преобразований'' (Координационный план НИР АН СССР по проблеме ``Системное математическое и программное обеспечение'';
направление ``Технические и методологические основы программирования''; раздел 1.12.2.4; номер государственной регистрации
01.81.041845).
- 1986-1990 гг. --
- ``Разработка теоретических основ и практических методов
автоматизации конструирования качественных программ и систем
посредством конкретизирующих преобразований''
(Координационный план
НИР АН СССР по проблеме
``Системное математическое и программное обеспечение'';
раздел 1.13.4.3; номер государственной регистрации 01.86.0125738).
- 1989-1991 гг. --
- ``Разработка специализированных языков и макетов
автоматизированного синтеза качественных программы''
(Комплексная программа научно-технического прогресса
стран-членов СЭВ до 2000 года, приоритетное направление
``Электронизация народного хозяйства''; проблема ``Развитие
технологии разработки и промышленного
производства программных средств
вычислительной техники''; задание 1.1.6.1.4.).
- 1990-1993 гг. --
- ``Разработка теории и методов конкретизации
программ
на основе аннотирования программ,
трансформационного подхода и смешанных вычислений''
(Комплексная программа СО АН СССР
``Новые поколения вычислительной техники
и информационные технологии''; направление ``Технология
программирования и интеллектуальные системы программирования'';
раздел 2.1.2.).
- 1990-1992 гг. --
- ``Интеллектуальные средства конструирования программ в
рабочем месте программиста (Проект СОКРАТ)''
(совместно с Поттосиным И.В.) (Государственная научно-техническая
программа ``Перспективные информационные технологии'';
направление ``Искусственный интеллект''; научно-исследовательский
проект № 434).
- 1992-1995 гг. --
- ``Разработка теоретических основ и практических методов
повышения эффективности и надежности программного обеспечения на
основе трансформационного подхода и аннотирования программ''
(Комплексная программа СО РАН
``Математическое моделирование,
информационные технологии и вычислительная техника'';
раздел 1.6.6 ``Теория, методы, программное обеспечение'';
номер государственной регистрации 01.9.40004081).
- 1992-1995 гг. --
- ``Разработка и исследование систем учебной информатики''
(Программа СО РАН ``Математическое моделирование;
информационные технологии и вычислительная техника'';
раздел 1.6.6 ``Теория, методы, программное обеспечение'';
номер государственной регистрации 01.9.40004090).
- 1992-1995 гг. --
- ``Автоматизация конструирования эффективных и надежных
программ'' (Государственная научная программа ``Университеты
России''; направление ``Фундаментальные проблемы математики и
механики''; НТП-2 ``Дискретная математика''; раздел 2
``Системное программирование'').
- 1996-1998 гг. --
- ``Методы и средства обучения информатике и
программированию в рамках многоуровневого образования''
(Программа СО РАН ``Математическое моделирование,
информационные технологии и вычислительная техника'';
раздел 1.6.6 ``Теория, методы, программное обеспечение'';
номер государственной регистрации 01.9.60002064).
- 1996-1998 гг. --
- ``Теория оптимизации и конструирования эффективных и надежных
программ, в том числе по функциональным и логическим
спецификациям, и методология инструментальных средств
трансформационного программирования для ЭВМ перспективных
архитектур''
(Программа СО РАН ``Математическое моделирование,
информационные технологии и вычислительная техника'';
раздел 1.6.6 ``Теория, методы, программное обеспечение'';
номер государственной регистрации 01.9.60002067).
- 1998-1999 гг. --
- ``Подготовка и издание справочника программиста
по алгоритмам обработки сводимых графов''
(Федеральная целевая программа
``Государственная поддержка интеграции высшего образования
и фундаментальной науки на 1997-2000 годы''; раздел
4.1 ``Издание научной и учебной литературы в области
фундаментальных наук, в том числе серии учебников
и учебных пособий'').
- 1999-2001 гг. --
- ``Разработка научных основ информатики; методы и средства обучения фундаментальным основам информатики и программирования,
ориентированные на Internet-технологии''
(Программа СО РАН ``2.2.1. Разработка научных основ информатики,
информационно-вычислительных систем и сетей; системный анализ'').
- 1999-2001 гг. --
- ``Теория и методолoгия трансформационного программирования, поддерживающие автоматизацию построения эффективного и надежного программного
обеспечения для ЭВМ перспективных архитектур, включая параллельные'' (Программа СО РАН ``2.2.6. Параллельные вычисления, системы массового параллелизма, программное обеспечение'').
- 2002-2004 гг. --
- ``Исследование формальных моделей и методов описания семантики,
спецификации и верификации систем процессов''
(Совместно с Замулиным А.В. и Непомнящим В.А.)
(Программа СО РАН ``2.2.1. Разработка научных основ информатики, информационно-вычислительных систем и сетей; системный анализ'').
- 2002-2004 гг. --
- ``Основания информатики, проблемы обучения информатике и программированию''
(Совместно с Марчуком А.Г. и Городней Л.В.)
(Программа СО РАН ``2.2.1. Разработка научных основ информатики, информационно-вычислительных систем и сетей; системный анализ'').
- 2002-2004 гг. --
- ``Развитие методов и инструментальной поддержки конструирования, преобразования и трансляции программ''
(Программа СО РАН ``2.2.8. Архитектура, системные решения и программное обеспечение информационно-вычислительных комплексов новых поколений'').
- 2004-2006 гг. --
- ``Методы и средства трансляции и конструирования эффективных и надежных программ''
(Программа СО РАН ``3. Фундаментальные и технологические проблемы информационных,
телекоммуникационных и вычислительных систем; 3.1. Информационное и математическое моделирование в различных областях знаний, задачи поддержки принятия решений, экспертные системы, теоретическое и системное программирование'').
- 2007-2009 гг. --
- ``Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем''
(Программа СО РАН ``4.6. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование; 4.6.2. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования'').