Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/progs2006/sys_prog.doc
Дата изменения: Wed Jun 14 19:16:10 2006
Дата индексирования: Mon Oct 1 21:50:32 2012
Кодировка: koi8-r


Системы программирования

2 курс, 4-й семестр
лекции (32 часа), зачет без оценки
практикум на ЭВМ (68 часов), зачет с оценкой
Кафедра, отвечающая за курс: алгоритмических языков
Составители программы: доц., канд. физ.-мат. наук Волкова И. А.,
доц., доктор техн. наук Карпов Л. Е.,
доц., канд. физ.-мат. наук Руденко Т. В.
Лекторы: доц., канд. физ.-мат. наук Волкова И. А. (3
п.),
доц., доктор техн. наук Карпов Л. Е. (1 п. с
2006),
доц., канд. физ.-мат. наук Руденко Т. В. (2 п.)
Веб-страница: http://sp.cmc.msu.ru/courses/sysprog/

Аннотация

В курсе дается обзор основных понятий системы программирования.
Рассматриваются ее основные компоненты, излагается их назначение,
возможности, схемы функционирования. Большое внимание уделяется
трансляторам: рассматриваются элементы теории формальных языков и
грамматик, их применение при построении трансляторов. Рассматриваются и
анализируются возможности современных систем программирования.

Программа


Часть 1. Основные понятия систем программирования
Система программирования, ее состав и схема работы. Программное,
языковое и информационное обеспечение системы программирования.
Этапы разработки программного обеспечения. Компоненты системы
программирования, поддерживающие разработчика ПО: их возможности (желаемое
и действительное).
Компиляторы и интерпретаторы, смешанная стратегия трансляции.
Другие компоненты СП: редакторы текстов, библиотеки. Редактор внешних
связей, его назначение и принципы работы. Загрузчик, его основные функции.
Средства тестирования. Отладчики, их возможности. Профилировщики.

Часть 2. Элементы теории трансляции
Основные понятия теории формальных языков: определение грамматик и
языков, классификация по Хомскому. Задача разбора. Проблемы однозначности и
эквивалентности грамматик.
Лексический анализ: регулярные грамматики и конечные автоматы.
Представление лексем, организация таблиц. Схема работы лексического
анализатора.
Синтаксический и семантический анализ: контекстно-свободные
грамматики. Метод рекурсивного спуска, его применимость. Контроль
контекстных условий.
Промежуточное представление программы: примеры языков внутреннего
представления. Польская инверсная запись (ПОЛИЗ). Синтаксически управляемый
перевод.
Генерация объектной программы. Оптимизация.
Интерпретация ПОЛИЗа.

Часть 3. Современные системы программирования
Интегрированная среда разработки: причины возникновения, состав,
основные возможности.
Библиотеки программ, пакеты прикладных программ.
Современные средства компонентного программирования: библиотеки
классов, шаблонов, библиотеки компонент. Понятие о визуальном
программировании.
Краткий обзор современных систем программирования и их возможностей:
Delphi, Microsoft Visual C++, концепция .NET и C#, СП под ОС UNIX и др.

Литература

Обязательная:
1. Молчанов А.Ю. Системное программное обеспечение. - СПб.: Питер, 2003.
2. Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии,
инструменты. -М.: Вильямс, 2001.
3. Волкова И.А., Руденко Т.В. Формальные грамматики и языки. Элементы
теории трансляции (учебное пособие для студентов II курса) - М.: МГУ,
1999.
4. Брауде Э.-Дж. Технология разработки программного обеспечения. - СПб.:
Питер, 2004
5. Фридман А.Л. Основы объектно-ориентированной разработки программных
систем. - М.:Финансы и статистика, 2000.

Дополнительная:
1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и
компиляции. Т 1,2. - М.: Мир, 1979.
2. Вендров А.М. Проектирование программного обеспечения экономических
информационных систем. - М.: Финансы и статистика, 2000.
3. Паппас К., Мюррэй У. Visual C++. Руководство для профессионалов. -
СПб, BHV, 1996.
4. Шилдт Г. MFC. Основы программирования. Дюссельдорф-Киев-Москва-Санкт-
Петербург, 1997.
5. Прайс Дж., Гандерлой М. Visual C# .NET. Полное руководство. - Киев:
Век+, 2004
Сван Т. Основы программирования в Delphi для Windows95.- Киев: Диалектика,
1996.