|
|
Close Help | ||||||||||||||
|
|
|
Close Help | ||||||||||||||
| Технология - совокупность производственных процессов в определенной отрасли производства, а также научное описание способов производства. | |
| С.И. Ожегов. Словарь русского языка. - М.: Советская энциклопедия, 1975 |
1.1. Программа как формализованное описание процесса обработки данных. Программное средство
1.2. Неконструктивность понятия правильной программы
1.3. Надежность программного средства
1.4. Технология программирования как технология разработки надежных программных средств
1.5. Технология программирования и информатизация общества
Лекция 2. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНОМ СРЕДСТВЕ
2.1. Интеллектуальные возможности человека
2.2. Неправильный перевод как причина ошибок в программном средстве
2.4. Основные пути борьбы с ошибками
Лекция 3. ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ
3.1. Специфика разработки программных средств
3.2. Жизненный цикл программного средства
3.3. Понятие качества программного средства
3.4. Обеспечение надежности - основной мотив разработки программных средств
3.5. Методы борьбы со сложностью
3.6. Обеспечение точности перевода
3.7. Преодоление барьера между пользователем и разработчиком
3.8. Контроль принимаемых решений
Лекция 4. ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА
4.2. Определение требований к программному средству
4.3. Спецификация качества программного средства
4.4. Функциональная спецификация программного средства
4.5. Методы контроля внешнего описания программного средства
Лекция 5. МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ ФУНКЦИЙ
5.1. Основные подходы к спецификации семантики функций
5.5. Аксиоматическая семантика
Лекция 6. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА
6.1. Понятие архитектуры программного средства
6.2. Основные классы архитектур программных средств
6.4. Контроль архитектуры программного средства
Лекция 7. РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ
7.1. Цель модульного программирования
7.2. Основные характеристики программного модуля
7.3. Методы разработки структуры программы
7.4. Контроль структуры программы
Лекция 8. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ
8.1. Порядок разработки программного модуля
8.2. Структурное программирование
8.3. Пошаговая детализация и понятие о псевдокоде
8.4. Контроль программного модуля
Лекция 9. ДОКАЗАТЕЛЬСТВО СВОЙСТВ ПРОГРАММ
9.1. Обоснования программ. Формализация свойств программ
9.2. Свойства простых операторов
9.3. Свойства основных конструкций структурного программирования
9.4. Завершимость выполнения программы
9.5. Пример доказательства свойства программы
Лекция 10. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА
10.4. Автономная отладка модуля
10.5. Комплексная отладка программного средства
Лекция 11. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА
11.1. Функциональность и надежность как обязательные критерии качества программного средства
11.2. Обеспечение завершенности программного средства
11.3. Обеспечение точности программного средства
11.4. Обеспечение автономности программного средства
11.5. Обеспечение устойчивости программного средства
11.6. Обеспечение защищенности программных средств
Лекция 12. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА
12.1. Общая характеристика процесса обеспечения качества программного средства
12.2. Обеспечение легкости применения программного средства
12.3. Обеспечение эффективности программного средства
12.4. Обеспечение сопровождаемости программного средства
12.5. Обеспечение мобильности программного средства
Лекция 13. ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ
13.1. Документация, создаваемая в процессе разработки программных средств.
13.2. Пользовательская документация программных средств.
13.3. Документация по сопровождению программных средств.
Лекция 14. АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА
14.1. Назначение аттестации программного средства
14.2. Виды испытаний программного средства
14.3. Методы оценки качества программного средства
Лекция 15. ОЪЕКТНЫЙ ПОДХОД К РАЗРАБОТКЕ ПРОГРАММНЫХ СРЕДСТВ
15.2. Объекты и субъекты в программировании.
15.3. Объектный и субъектный подходы к разработке программных средств.
15.4. Объектный подход к разработке внешнего описания и архитектуры программного средства.
13.5. Особенности объектно-ориентированного программирования.
Лекция 16. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА РАЗРАБОТКИ И СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ СРЕДСТВ
16.1. Инструменты разработки программных средств.
16.2. Инструментальные среды разработки и сопровождения программных средств.
16.3. Инструментальные среды программирования.
16.4. Понятие компьютерной технологии разработки программных средств и ее рабочие места.
16.5. Инструментальные системы технологии программирования.
Лекция 17. ОБЯЗАННОСТИ И ОТВЕТСТВЕННОСТЬ ПРОГРАММИСТОВ. ИНТЕЛЛЕКТУАЛЬНАЯ СОБСТВЕННОСТЬ.
Настоящее учебное пособие представляет собой расширение и новую редакцию конспекта лекций , читавшихся в течении ряда лет на факультете Вычислительной математики и кибернетики МГУ:
Е.А. Жоголев. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994.
По содержанию оно полностью соответствует обновленной программе курса "Технология программирования", утвержденного для студентов программистских кафедр.
Хотя понятие технологии в русском языке имеет ясное определение, понятие технологии программирования требует некоторого уточнения прежде всего из-за необходимости определения, что следует считать продуктом этой технологии. Кроме того появление этого термина в русскоязычной научной литературе вызвано в значительной степени не всегда адекватным переводом иноязычной литературы по программированию, что привело к различным определениям (толкованиям) этого понятия. Это уточнение делается в первой лекции настоящего курса.
Тем не менее уже сейчас можно сказать (в соответствии с общепринятым в русском языке пониманием термина "технология"), что предметом настоящего курса лекций является изучение процессов, приводящих к созданию требуемого программного "продукта". В курсе обсуждаются вопросы, из каких процессов (которые можно назвать технологическими) состоит эта технология, на каких принципах они строятся, какие методы и инструментальные средства в них используются.
Содержание курса сложилось в результате критического анализа многих научных источников, часто противоречивших друг другу, с учетом опыта программирования автора настоящего курса, а также
результатов исследований, проведенных на кафедре системного программирования факультета ВМиК МГУ (в частности, по проблеме качества программного обеспечения). Расширение пособия по сравнению с ранее изданным было связано с включением в обновленную программу курса вопросов обеспечения качества программных продуктов и их документирования, объектного подхода к их разработке, компьютерной технологии и компьютерной поддержки разработки программных продуктов, а также социально-этических вопросов программирования.
Курс рассчитан на студентов, уже прослушавших общий курс по программированию и умеющих работать на компьютере. Его целью является помочь лицам, приступающим к разработке больших программных "продуктов", рационально организовать свой программистский труд.
