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

Материал из Public ATP Wiki
Перейти к: навигация, поиск
(Требования к подготовке систематического обзора)
(Требования к подготовке систематического обзора)
Строка 46: Строка 46:
 
! Где фиксируется результат
 
! Где фиксируется результат
 
|-
 
|-
| || -- || --
+
| Сформулиовать цели проведения обзора|| Формулировка цели, перечень вопросов (Research Questions, напр. RQ1, RQ2..) || Отдельный раздел в отчете с результатами
 
|-
 
|-
 
||| -- || --
 
||| -- || --

Версия 02:12, 5 февраля 2023

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

  • Семестр: 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..) Отдельный раздел в отчете с результатами
-- --
-- --
-- --

В идеальном случае за домашние задания можно получить баллов.

Бонус

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

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

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

Зачет

Зачет состоится Дата и время уточняется. При проведении дифференцированного зачета обучающемуся предоставляется 30 минут на подготовку.

Список рекомендуемых материалов

Основная

  1. не предусмотрено

Дополнительная

  1. Mellor S.J., Balcer M.J. Executable UML. A Foundation for Model-Driven Architecture
  2. M. Fowler. Domain-Specific Languages, 2003
  3. 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.
  4. Roques, Pascal. Systems Architecture Modeling with the Arcadia Method: A Practical Guide to Capella. – Elsevier. – 2017.
  5. Эрик Эванс. Предметно-ориентированное проектирование (DDD). Структуризация сложных программных систем. – М.: Вильямс. – 2018