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