Исследовательская группа
Лаборатория верификации и анализа программ
Kotoed
Михаил Беляев, Марат АхинАктивный
Kotoed (KOTlin Online EDucation) — это система помощи при обучении разработке ПО, созданная в Политехническом университете.
Основная цель данного проекта — предоставить преподавателю и студенту возможность автоматизировать большую часть типичных действий, необходимых при обучении программированию:
- создание/управление проектами;
- проверка заданий при помощи модульного и/или случайного тестирования;
- поиск плагиата;
- проверка стиля кодирования;
- обзор кода;
- ...