Текущие баллы: https://docs.google.com/spreadsheets/d/1d02wsCr9NCnKsG27U2224Pf8jOrqim_EEZqbVQ50yXw/
Формы работы и баллы за них:
- контрольная работа по методам Флойда (10 баллов);
- контрольная работа по ACSL (10 баллов);
- домашние работы по методам Флойда (4 работы, каждая — 1 балл);
- домашние работы по спецификации (4 работы, каждая — 1 балл);
- мини-самостоятельные работы в начале лекций (7 работ, каждая — 4 балла);
- практическое задание
- спецификационная часть (15 баллов);
- верификационная часть (35 баллов);
- экзамен (25 баллов).
В зависимости от суммы набранных студентом баллов будет выставлена оценка по курсу:
- сумма баллов от 27 до 50 баллов включительно – «удовлетворительно»;
- сумма баллов от 51 до 74 баллов включительно – «хорошо»;
- сумма баллов от 75 и выше – «отлично».