Next: 2.2 Руководство грантами
Up: 2 Руководство научными проектами
Previous: 2 Руководство научными проектами
Contents
- 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 гг.--
- "Интеллектуальные средства конструирования программ в
рабочем месте программиста (Проект СОКРАТ)", (совместно с
И.В.Поттосиным), (Государственная научно-техническая
программа "Перспективные информационные технологии",
направление "Искусственный интеллект", Научно-исследовательский
проект N434).
- 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 "Издание научной и учебной литературы в области
фундаментальных наук, в том числе серии учебников
и учебных пособий").