ProgAutom 2023

Общие сведения

• Семестр: 10 (5й курс)
• Форма контроля: дифференцированный зачет

Преподаватель

Антон Хретанков

Важные ссылки

• План курса
• Регистрация на курс
• Чат курса
• Таблица с оценками

Технические ссылки

• Форма для проблем с инфраструктурой АТП
• В случае проблем с кластером MPI, пишите на parallel-cluster-atp@googlegroups.com.

Материалы

• Видео занятий
• Слайды презентаций

Система оценивания

Итоговые баллы равно Лабораторные работы (50%) + исследовательский проект (50%).

Лабораторные по курсу

• Лабораторная работа по DSL - создание языка для Karel (до 20 февраля)
• Лабораторная работа по синтезу программ - NPS для Karel (до 17 апреля)
• Лабораторная работа по metamorphic testing (до 13 марта)
• Лабораторная работа по верификации блокчейн (до 27 марта)

Каждая лабораторная работа дает 10 баллов при сдаче вовремя. 30 баллов - это 50% оценки. Максимум 40 баллов - это 67%. Пропуск срока по лабораторной более недели - х0.5.

При пропусках занятий более 2-х раз или недостаточном количестве баллов (в сумме менее 40%) к концу апреля, или невыполнении исследовательского проекта для получения оценки нужно пройти устный опрос по темам курса (+20%) на зачете.

Требования к подготовке систематического обзора

Систематический обзор литературы в определенной области - это метод исследования предметной области с целью получения ответов на интересующие вопросы. Систематический обзор, при должном исполнении, может быть отнесен к методам исследований, которые допускают проверку и повторение результатов.

Порядок выполнения систематического обзора приведен в таблице ниже. Результаты систематического обзора оформляются в виде набора документов

• полный список источников (long list)
• список отобранных источников (short list)
• отчет с результатами

Что делать	В чем результат	Где фиксируется результат
Сформулиовать цели проведения обзора	Формулировка цели, перечень вопросов (Research Questions, напр. RQ1, RQ2..)	Отдельный раздел в отчете с результатами
Описать протокол поиска источников	Приведен перечень баз данных, библиографический и реферативных баз, сформулированы критерии поиска в них (поисковые запросы)	Отдельный раздел в отчете с результатами
Сформулировать критерии выбора источников	Требования, предъявляемые к источникам и их содержанию для включения в обзор (полезна ли информация для ответа на вопросы, качественная ли она и т.д.)	Отдельный раздел в отчете с результатами
Выполнить поиск источников согласно протоколу	Полный список найденных источников	Таблица с полным списком в отдельном документе
Отобрать источники из полного списка, при необходимости вернуться к п.4	Список отобранных источников	Таблица с отобранными источниками в отдельном документе
По каждому вопросу исследования собрать информацию из отобранных источников	Ответ на вопрос с отсылками к источникам	Для каждого вопроса - отдельный подраздел
Подготовить заключение: удалось ли ответить на вопросы, сделать выводы	Выводы о достижении цели обзора, рекомедации по использованию результатов обзора	Отдельный раздел отчета с результатами

Литература:

• Kitchenham, B.A. and S. Charters (2007) Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, School of Computer Science and Mathematics, Keele University.
• См. также слайды.

Исследовательский проект

В качестве проекта предлагается повторить опубликованных ранее результатов другими исследователями - важная процедура в научном исследовании, направленная на выявления неточностей, расхождений, неполноты в опубликованных результатах исследований и методах и достижения.

По согласованию с преподавателем можно провести аналогичное исследование по теме дипломной работы.

Порядок повторения результатов по теме приведен в таблице ниже. Результаты фиксируются в следующих документах

• отчет о повторении результатов
• исходный код и данные

Требования к статье для повторения

• должен быть доступен исходный код для основного результата статьи
• доступны данные, использованные в статье
• результат отражает state-of-the-art

Что делать	В чем результат	Где фиксируется результат
Найти и согласовать статью, актуальную для темы	Выбрана статья для повторения результатов	В электронной почте, в первом разделе отчета
Получить и сохранить код и данные, проверить возможность использования	Готовый к исполнению код, данные для проведения эксперимента	Исходный код и данные (выложены для доступа)
Повторить эксперимент по описаннию в статье	Выявлены отклонения и неточности в описании эксперимента, упущения и пропуски	Раздел в отчете о повторении результатов
Сравнить результаты с полученными в статье	Получены собственные количественные результаты эксперимента, указаны расхождения с результатами в статье	Раздел в отчете о повторении результатов
Сделать выводы о повторяемости результатов статьи	Выводы о повторяемости результатов статьи и возможности их использования	Раздел в отчете о повторении результатов

Литература

• Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research
• См. также сайт reproducibleresearch.net

Бонус

Бонус начисляется за:

• активное участие в семинарах,
• помощь коллегам в чате курса.

Возможно получить до 1 балла. Количество студентов, которым может быть начислен б