Технология программирования
Программа курса
1. Жизненный цикл программы. Постановка задачи. Системный анализ. Проектирование и программная реализация. Этапы создания программного обеспечения по стандартам ЕСПД .
2. Быстрое прототипирование. Разработка программ путем настройки. Использование аитоматизированных конструкторов. Сборочное программирование. Автоматический синтез программ.
3. Язык проектирования программ (псевдокод) PDL. Метод пошаговых уточнений. Примеры.
4. Формализованные языки системного анализа. Язык описания систем PSL. Основные виды объектов и их свойств и связей. Примеры описания данных и процессов.
5. Проектирование задач экономической информатики методом Джексона.
6. Абстрактные типы данных (АТД) и модули.
7. Проектирование программ в языке МОДУЛА-2. Основные типы данных и структуры управления. Модули определений и модули реализации абстрактных понятий. Локальные модули и правила видимости.
8. Пакеты языка АДА как средство реализации АТД. Основные типы данных и структуры управления.Спецификация и тело пакета. Родовые пакеты. Поддержка нисходящей разработки.
9. Язык С++ и объектно ориентированное программирование. Основные типы данных и структуры управления. Классы как средство представления АТД (объектов). Скрытая и открытая части класса, функции-элементы, дружественные функции. Переопреде ление операторов. Производные классы и виртуальные функции.
10. Тестирование и отладка программ. Традиционные подходы. Критерии выбора тестов. "Аксиомы" тестирования.
Л и т е р а т у р а:
1. Хьюз Дж., Мичом Дж. Структурный подход к программиро ванию.- М.: Мир, 1980.
2. Зиглер К. Методы проектирования программных систем. - М.: Мир, 1985.
3. Требования и спецификации в разработке программ. Сб. статей под ред. В.Н.Агафонова.- М.: Мир, 1984.
4. Вирт Н. Алгоритмы и структуры данных. - М.: Мир, 1989.
5. Кристиан К. Руководство по программированию на языке МОДУЛА-2. - М. : Мир, 1989.
6. Джехани Н. Язык АДА. - М.: Мир, 1988.
7. С++. Язык программирования. - М.: "И.В.К.-СОФТ", 1991.
8. Майерс Г. Надежность программного обеспечения. - М: Мир, 1980.