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.
• См. также слайды.

Бонус

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

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

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