18 декабря - коллоквиум

Начало в 08:40. Аудитория П-6.
Коллоквиум - это письменная работа по темам, рассматривавшимся в курсе. Длительность - 90 минут.
До коллоквиума допускаются все студенты, кроме перечисленных ниже (не сдали простое задание или выполняют сложное задание):
  1. Баулин Роман
  2. Большаков Алексей
  3. Броварь Ирина
  4. Горячев Андрей
  5. Грошев Сергей
  6. Груздев Александр
  7. Груздев Алексей
  8. Елисеев Владислав
  9. Исламгулов Ильдар
  10. Кириченко Владимир
  11. Кузнецов Михаил
  12. Маллачиев Курбан
  13. Михайлов Михаил
  14. Нападовский Вячеслав
  15. Порхун Анастасия
  16. Санаров Антон
  17. Федоров Алексей
  18. Шуберт Алексей
На коллоквиуме можно пользоваться любыми бумажными материалами. Запрещается использовать электронные средства связи и компьютеры, а также выполнять работу совместно.
За успешное выполнение заданий коллоквиума можно получить до 40 баллов.
Коллоквиум будет состоять из теоретических вопросов и упражнений. Темы теоретических вопросов - это все материалы лекций и семинаров: аналитическая верификация программ (с различными особенностями) и методы Флойда, спецификация методов и классов языка Java при помощи языка спецификации JML, Formal testing, Model-based testing. Темы упражнений включают аналитическую верификацию, методы Флойда, спецификацию на JML.