ProgAutom 2023 — различия между версиями
(→Важные ссылки) |
(→Домашние задания) |
||
| Строка 16: | Строка 16: | ||
* [https://disk.yandex.ru/d/Riz62HfSu-Ieow'''Слайды презентаций'''] | * [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" | {| class="wikitable" | ||
|- | |- | ||
Версия 02:09, 5 февраля 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)
- отчет с результатами
| Задание | Мягкий deadline | Жёсткий deadline |
|---|---|---|
| -- | -- | |
| -- | -- | |
| -- | -- | |
| -- | -- |
В идеальном случае за домашние задания можно получить баллов.
Бонус
Бонус начисляется за:
- активное участие в семинарах,
- помощь коллегам в чате курса.
Возможно получить до 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
