Лектор: проф., доктор физ.-мат. наук Петренко А. К.
Продолжительность: 36 часов лекции, 36 часов семинары (практикум), 72 часа самостоятельная работа.
Аудитория: студенты 5 курса кафедр СП, АСВК и АЯ, бакалавры 441 и 442 группы.
|
• Страница курса и страница производственной практики на сайте ИСП РАН.
• Распределение вариантов в 527, 528 группах и расписание сдач первого задания практикума (Excell, 18Кб).
• Варианты первого задания практикума, методические указания и общие требования к спецификациям.
• Указания к построению неявных спецификаций и указания к построению алгебраических спецификаций.
• RSL Type Checker: для Windows (889 Кб) и
для некоторых версий Linux.
• Памятка по работе с pvs и лекции по аналитической верификации
• [Кузьменкова, Петренко-2008] Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL – М.: Издательский отдел факультета ВМК МГУ, 2008. (WinWord (114 Кб): http).
• [Кузьменкова, Петренко-2001] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL: Конспект лекций. – М.: Издательский отдел факультета ВМК МГУ, 2001. - 107 с. (Zip-архив файла WinWord97, 137Kb: http).
• [Кузьменкова, Петренко-1999] Кузьменкова Е. А., Петренко А. К. Формальная спецификация программ на языке RSL. Методическое пособие по практикуму – М.: Издательский отдел факультета ВМК МГУ, 1999. (Zip-архив файла WinWord97, 260Kb: http).
• [Мансуров, Майлингова] Мансуров Н. Н., Майлингова О. Л. "Методы формальной спецификации программ: языки MSC и SDL" Методическое пособие по практикуму – М.: Издательский отдел факультета ВМК МГУ, 1998. (PDF-файл, 1.4Mb: http).
|