ProgAutom 2023 — различия между версиями

Материал из Public ATP Wiki
Перейти к: навигация, поиск
(Система оценивания)
(Перезачет курса)
 
(не показано 20 промежуточных версий 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 Регистрация на курс]
Строка 9: Строка 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://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.
 
*См. также слайды.
 
 
 
=== Бонус ===
 
Бонус начисляется за:
 
* активное участие в семинарах,
 
* помощь коллегам в чате курса.
 
Возможно получить до 1 балла. Количество студентов, которым может быть начислен бонус, неограничено.
 
 
 
=== Зачет ===
 
Зачет состоится '''Дата и время уточняется'''. При проведении дифференцированного зачета обучающемуся предоставляется 30 минут на подготовку.
 
 
 
= Список рекомендуемых материалов =
 
=== Основная ===
 
# не предусмотрено
 
=== Дополнительная ===
 
# Mellor S.J., Balcer M.J. Executable UML. A Foundation for Model-Driven Architecture
 
# M. Fowler. Domain-Specific Languages, 2003
 
# M. Utting, B. Legeard. Practical Model-Based Testing. A Tools Approach. – 2010. Zander, Justyna, Ina Schieferdecker, and Pieter J. Mosterman, eds. Model-based testing for embedded systems. CRC press, 2017.
 
# Roques, Pascal. Systems Architecture Modeling with the Arcadia Method: A Practical Guide to Capella. – Elsevier. – 2017.
 
# Эрик Эванс. Предметно-ориентированное проектирование (DDD). Структуризация сложных программных систем. – М.: Вильямс. – 2018
 
 
 
  
* '''[http://pps-design.org Интересные ссылки]'''
+
= Перезачет курса =
 +
Если вы хотите перезачесть курс, просьба заполнить [https://docs.google.com/forms/d/e/1FAIpQLSehuRanoknWoXMoX4UNXt1rg_Vln49z8UQL-skylvYBvutTuA/viewform?usp=sf_link'''форму'''] до '''15.02.2023'''.

Текущая версия на 10:50, 26 апреля 2023

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

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

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

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

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

Материалы

Перезачет курса

Если вы хотите перезачесть курс, просьба заполнить форму до 15.02.2023.