Этапы проекта

  • [1986..1995]
    Исследования подходов.  Разработка принципов.
  • [1996..1998]
    Реализация экспериментальной версии Т-системы (ИПС РАН).
    Цель: проверка правильности подхода.
  • [1998..1999]
    Эксперименты с Т-системой, развитие экспериментальной версии.  Показано, что для класса задач данный подход можно признать перспективным (отдельные слайды по экспериментам).
  • [2000..далее]
    Программа СКИФ.
    ЦТТИ МГУ + ИПС РАН: начало разработки новой версии Т-системы (что и есть основное содержание данного доклада).