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

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

Kotoed

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

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

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

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

Участники

Беляев Михаил
Беляев Михаил
Ахин Марат
Ахин Марат

Материалы