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

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

Kotoed

Статус: Активный

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

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

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

Участники

Дополнительно