5 курс
Пакеты прикладных программ
Основная литература по курсу
М. М. Горбунов-Посадов, Д. А. Корягин, В. В. Мартынюк. (под ред. А. А. Самарского). Системное обеспечение пакетов прикладных программ
(1.73 Мбайт)
. — М.: Наука. Гл. ред. физ.-мат. лит., 1990.
Формальные спецификации программ
Варианты заданий по практикуму
Варианты практического задания № 2
.
Основная литература по курсу
Е. А. Кузьменкова, А. К. Петренко. «Формальная спецификация программ на языке RSL: Конспект лекций»
(827.5 Кбайт)
. — М.:Издательский отдел факультета ВМиК МГУ, 2001. Оригинал
здесь
.
Н. Н. Мансуров, О. Л. Майлингова. «Методы формальной спецификации программ: языки MSC и SDL»
(1.4 Мбайт)
. Методическое пособие по практикуму. — М.: 1998. Оригинал
здесь
.
Е. А. Кузьменкова, А. К. Петренко. «Формальная спецификация программ на языке RSL»
(577.2 Кбайт)
. Методическое пособие по практикуму — М.: 1999. Оригинал
здесь
.
Синтаксис языка RSL в виде БНФ
(96.39 Кбайт)
. Оригинал
здесь
.
Материалы по практикуму по курсу «Формальные спецификации программ»
.
Страница курса
«Спецификация и верификация на основе текстовых нотаций»
на сайте Института системного программирования РАН.