Исследовательская группа

Лаборатория верификации и анализа программ

Kotoed

Михаил Беляев, Марат АхинАктивный

Kotoed (KOTlin Online EDucation) — это система помощи при обучении разработке ПО, созданная в Политехническом университете.

Основная цель данного проекта — предоставить преподавателю и студенту возможность автоматизировать большую часть типичных действий, необходимых при обучении программированию:

  • создание/управление проектами;
  • проверка заданий при помощи модульного и/или случайного тестирования;
  • поиск плагиата;
  • проверка стиля кодирования;
  • обзор кода;
  • ...

Участники

Материалы