|
|
| (не показано 14 промежуточных версий 2 участников) |
| Строка 3: |
Строка 3: |
| | * Форма контроля: дифференцированный зачет | | * Форма контроля: дифференцированный зачет |
| | | | |
| − | == Преподаватель ==
| + | = Преподаватель = |
| − | Антон Хретанков | + | Антон Хританков |
| | | | |
| − | == Важные ссылки ==
| + | = Важные ссылки = |
| | * [https://docs.google.com/spreadsheets/d/15rCSksheNGVaDpk1rq2Oki-Q_hiRuYmD/edit?usp=sharing&ouid=111752983290664336346&rtpof=true&sd=true План курса] | | * [https://docs.google.com/spreadsheets/d/15rCSksheNGVaDpk1rq2Oki-Q_hiRuYmD/edit?usp=sharing&ouid=111752983290664336346&rtpof=true&sd=true План курса] |
| | * [https://forms.gle/SJCRS1NNkLvHHXVs5 Регистрация на курс] | | * [https://forms.gle/SJCRS1NNkLvHHXVs5 Регистрация на курс] |
| Строка 12: |
Строка 12: |
| | * '''Таблица с оценками''' | | * '''Таблица с оценками''' |
| | | | |
| − | == Технические ссылки == | + | = Материалы = |
| − | * [https://forms.gle/PWhsFdPR9iVrsXbs9 Форма для проблем с инфраструктурой АТП] | + | * [https://disk.yandex.ru/d/AQw97qB--baEtA Видео занятий] |
| − | * В случае проблем с кластером MPI, пишите на '''parallel-cluster-atp@googlegroups.com'''. | + | * [https://disk.yandex.ru/d/Riz62HfSu-Ieow Слайды презентаций] |
| | + | * [https://objectoriented.ru/apmdd:course2022 '''Сайт курса'''] |
| | | | |
| − | == Материалы == | + | = Перезачет курса = |
| − | * [https://disk.yandex.ru/d/AQw97qB--baEtA '''Видео занятий''']
| + | Если вы хотите перезачесть курс, просьба заполнить [https://docs.google.com/forms/d/e/1FAIpQLSehuRanoknWoXMoX4UNXt1rg_Vln49z8UQL-skylvYBvutTuA/viewform?usp=sf_link'''форму'''] до '''15.02.2023'''. |
| − | * [https://disk.yandex.ru/d/Riz62HfSu-Ieow'''Слайды презентаций''']
| |
| − | | |
| − | = Система оценивания =
| |
| − | Итоговые баллы равно Лабораторные работы (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)
| |
| − | * отчет с результатами
| |
| − | | |
| − | {| class="wikitable"
| |
| − | |-
| |
| − | ! Что делать
| |
| − | ! В чем результат
| |
| − | ! Где фиксируется результат
| |
| − | |-
| |
| − | |Сформулиовать цели проведения обзора|| Формулировка цели, перечень вопросов (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
| |
| − | | |
| − | {| class="wikitable"
| |
| − | |-
| |
| − | ! Что делать
| |
| − | ! В чем результат
| |
| − | ! Где фиксируется результат
| |
| − | |-
| |
| − | |Найти и согласовать статью, актуальную для темы|| Выбрана статья для повторения результатов|| В электронной почте, в первом разделе отчета
| |
| − | |-
| |
| − | |Получить и сохранить код и данные, проверить возможность использования|| Готовый к исполнению код, данные для проведения эксперимента || Исходный код и данные (выложены для доступа)
| |
| − | |-
| |
| − | |Повторить эксперимент по описаннию в статье|| Выявлены отклонения и неточности в описании эксперимента, упущения и пропуски ||Раздел в отчете о повторении результатов
| |
| − | |-
| |
| − | | Сравнить результаты с полученными в статье|| Получены собственные количественные результаты эксперимента, указаны расхождения с результатами в статье || Раздел в отчете о повторении результатов
| |
| − | |-
| |
| − | |Сделать выводы о повторяемости результатов статьи || Выводы о повторяемости результатов статьи и возможности их использования || Раздел в отчете о повторении результатов
| |
| − | |-
| |
| − | |}
| |
| − | | |
| − | Литература
| |
| − | | |
| − | *Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research
| |
| − | *См. также сайт reproducibleresearch.net
| |
