ProgAutom 2023

Материал из Public ATP Wiki
Версия от 02:26, 5 февраля 2023; Victorialim (обсуждение | вклад) (Лабораторные по курсу)
Перейти к: навигация, поиск

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

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

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

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

Материалы

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

Итоговые баллы равно Лабораторные работы (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 балла. Количество студентов, которым может быть начислен б