технологии программирования к оглавлению к высокоуровн. языкам - 3GL к визуальным средам - 4GL

Системный подход в технологии программирования

Разновидности технологий программирования

3.1. Введение в технологии программирования

3.1.1. Основные понятия и определения
3.1.2. История и эволюция

3.1.3. Классификации

3.1.3.1. Классификация технологических подходов

3.1.3.2. Классификация технологических процессов

3.1.3.3. Классификация технологических стадий

3.1.4. Проблемы и перспективы развития

3.1.5. Рекомендации по литературе

3.2. Классические технологические процессы

3.2.1. Возникновение и исследование идеи

3.2.1.1. Возникновение идеи решения проблемы

3.2.1.2. Постановка задачи

3.2.1.3. Принятие решения о начале работы над проектом

3.2.2. Управление

3.2.2.1. Управление проектом

3.2.2.2. Эволюция менеджмента

3.2.2.3. Методы управления проектами

3.2.2.4. Современные подходы к управлению проектом

3.2.3. Анализ требований и проектирование

3.2.3.1. Введение в анализ требований и проектирование

3.2.3.2. Отступление "о спецификациях"

3.2.3.3. Отступление "об архитектуре"

3.2.3.4. Отступление "о классификации всего сущего"

3.2.3.5. Проектирование архитектуры (проектирование "в большом")

3.2.3.6. Проектирование модулей (проектирование "в малом")

3.2.3.7. Методы анализа и построения спецификаций

3.2.3.8. Подходы к ведению анализа и проектирования

3.2.4. Программирование (реализация)

3.2.4.1. Стиль программирования

3.2.4.2. Защитное программирование

3.2.4.3. Выбор языка программирования

3.2.5. Тестирование и отладка

3.2.5.1. Введение в тестирование и отладку

3.2.5.2. Тестирование программных продуктов

3.2.5.3. Отладка программных продуктов

3.2.6. Ввод программы в действие

3.2.7. Эксплуатация и сопровождение

3.2.8. Завершение эксплуатации

3.3. Стандартные технологические процессы

3.3.1. Основные процессы

3.3.1.1. Приобретение

3.3.1.2. Поставка

3.3.1.3. Разработка

3.3.1.4. Эксплуатация

3.3.1.5. Сопровождение

3.3.2. Вспомогательные процессы

3.3.2.1. Документирование

3.3.2.2. Управление конфигурацией

3.3.2.3. Обеспечение качества

3.3.2.4. Верификация

3.3.2.5. Аттестация

3.3.2.6. Совместная оценка

3.3.2.7. Аудит

3.3.2.8. Разрешение проблем

3.3.3. Организационные процессы

3.3.3.1. Управление

3.3.3.2. Создание инфраструктуры

3.3.3.3. Усовершенствование

3.3.3.4. Обучение

3.3.4. Взаимосвязь между процессами

3.4. Основные стадии технологических подходов

3.4.1. Фазы как крупные временные рамки

3.4.2. Стадии как отражение классических процессов

3.4.3. Вариант подробного разбиения на стадии

3.4.4. Контрольные точки

3.5. Основные технологические подходы

3.5.1. Ранние технологические подходы

3.5.1.1. Подход "кодирование и исправление"

3.5.2. Каскадные технологические подходы

3.5.2.1. Каскадный подход

3.5.2.2. Каскадно-возвратный подход

3.5.2.3. Каскадно-итерационный подход

3.5.2.4. Каскадный подход с перекрывающимися процессами

3.5.2.5. Каскадный подход с подпроцессами

3.5.2.6. Спиральная модель

3.5.3. Каркасные технологические подходы

3.5.3.1. Рациональный унифицированный процесс

3.5.4. Генетические технологические подходы

3.5.4.1. Синтезирующее программирование

3.5.4.2. Сборочное (расширяемое) программирование

3.5.4.3. Конкретизирующее программирование

3.5.5. Подходы на основе формальных преобразований

3.5.5.1. Технология стерильного цеха

3.5.5.2. Формальные генетические подходы

3.5.6. Группа ранних подходов быстрой разработки

3.5.6.1. Эволюционное прототипирование

3.5.6.2. Итеративная разработка

3.5.6.3. Постадийная разработка

3.5.7. Адаптивные технологические подходы

3.5.7.1. Экстремальное программирование

3.5.7.2. Адаптивная разработка

3.5.8. Подходы исследовательского программирования

3.5.8.1. Компьютерный дарвинизм

3.6. Технологии коллективной разработки

3.6.3. Общинная модель разработки

3.7. Качество программного обеспечения

ЛИТЕРАТУРА

Изучив этот раздел, вы получите ответы на следующие вопросы:

Что такое жизненный цикл программ? Каковы основные технологические подходы к ведению цикла?
Что такое классические и стандартные технологические процессы?
Как формируются технологические стадии и в чем заключается порядок их прохождения?
Что представляют собой технологии коллективной разработки программ?
Как добиться создания качественного программного обеспечения?

Введение в технологии программирования

Основные понятия и определения

Жизненный цикл программы - это весь период ее разработки и эксплуатации, начиная с момента возникновения замысла и заканчивая прекращением всех видов ее использования.

Технология программирования изучает технологические процессы и порядок их прохождения - стадии (с использованием знаний, методов и средств). Знания, методы и средства могут использоваться в разных процессах и, следовательно, технологиях.

Технологии удобно характеризовать в двух измерениях - вертикальном (представляющем процессы) и горизонтальном (представляющем стадии).

Процесс - совокупность взаимосвязанных действий, преобразующих некоторые входные данные в выходные. Процессы состоят из набора действий, а каждое действие из набора задач. Вертикальное измерение отражает статические аспекты процессов и оперирует такими понятиями, как рабочие процессы, действия, задачи, результаты деятельности и исполнители.

Стадия - часть действий по созданию программного обеспечения, ограниченная некоторыми временными рамками и заканчивающаяся выпуском конкретного продукта, определяемого заданными для данной стадии требованиями. Стадии состоят из этапов, которые обычно имеют итерационный характер. Иногда стадии объединяют в более крупные временные рамки, называемые фазами. Итак, горизонтальное измерение представляет время, отражает динамические аспекты процессов и оперирует такими понятиями, как фазы, стадии, этапы, итерации и контрольные точки.

Технологический подход определяется спецификой комбинации стадий и процессов, ориентированной на разные классы программного обеспечения и на особенности коллектива разработчиков.

Простейшее представление жизненного цикла программы представлено на рис. 3.1.

Фактически, в данном случае на каждой стадии выполняется единственный процесс. Конечно, при разработке и создании больших программ такая схема недостаточно корректна (да и просто нереалистична). Однако мы можем взять ее за основу для многих других технологических подходов к ведению жизненного цикла.

3.1.2. История и эволюция

История учит тому, что из истории мы ничему не учимся.
Б. Шоу

В истории технологии программирования можно выделить три этапа.

Осмысление опыта разработки больших систем. Понимание того, что важно не только на каком языке программирования разрабатывается программа, но и как это делается. Проведение первых международных и национальных конференций (конец 60-х - 70-е годы XX века).

1968 г. - НАТО проводит первую конференцию по инженерии программирования (Software Engineering).
1975 г. - 1-я международная конференция IEEE.
1979 г. - 1-я Всесоюзная конференция по технологии программирования.

Разработка новых технологических подходов (начало 70-х годов XX века - настоящее время).

1973 г. - Дагласом Россом (Douglas Ross) разработана технология проектирования сложных систем SADT (Structured Analysis and Design Technique). Стандартизована под названием IDEF (Integrated DEFinition).
1985 г. - Харланом Миллзом (Harlan Mills) сформулированы основные идеи технологии стерильного цеха.
1995 г. - в октябре появилась первая пробная версия Унифицированного метода. Этот проект с 1996 года известен как UML (Unified Modeling Language). С точки зрения технологических подходов особый интерес представляет рациональный унифицированный процесс.

Принятие стандартов на состав процессов жизненного цикла программного обеспечения (середина 80-х годов XX века - настоящее время). Попытки решить проблему качества программных продуктов.

1985 г. - впервые утвержден стандарт жизненного цикла для проектирования программных систем (для систем военного назначения по заказам Министерства обороны США).
1994 г. - в Великобритании создан международный консорциум, разрабатывающий на постоянной основе проекты стандартов и технологии быстрого создания приложений DSDM (Dynamic Systems Development Method).
1995 г. - принят международный стандарт ISO 12207:1995 "Information Technology - Software Life Cycle Processes", регламентирующий состав процессов жизненного цикла программного обеспечения.

3.1.3. Классификации

3.1.3.1. Классификация технологических подходов

Выделим основные группы технологических подходов и укажем подходы для каждой из них.

Подходы со слабой формализацией

Эти подходы не используют явных технологий и их можно применять только для очень маленьких проектов, как правило, завершающихся созданием демонстрационного прототипа. К подходам со слабой формализацией относятся так называемые ранние технологические подходы, например подход "кодирование и исправление" (см. разд. 3.5.1.1).

Строгие (классические, жесткие, предсказуемые) подходы

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

Каскадные технологические подходы.

Классический каскадный подход (см. разд. 3.5.2.1).
Каскадно-возвратный подход (см. разд. 3.5.2.2).
Каскадно-итерационный подход (см. разд. 3.5.2.3).
Каскадный подход с перекрывающимися процессами (см. разд. 3.5.2.4).
Каскадный подход с подпроцессами (см. разд. 3.5.2.5).
Спиральная модель (см. разд. 3.5.2.6).

Каркасные подходы.

Рациональный унифицированный процесс (см. разд. 3.5.3.1).

Генетические подходы.

Синтезирующее программирование (см. разд. 3.5.4.1).
Сборочное (расширяемое) программирование (см. разд. 3.5.4.2).
Конкретизирующее программирование (см. разд. 3.5.4.3).

Подходы на основе формальных преобразований.

Технология стерильного цеха (см. разд. 3.5.5.1).
Формальные генетические подходы (см. разд. 3.5.5.2).

Гибкие (адаптивные, легкие) подходы

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

Ранние технологические подходы быстрой разработки.

Эволюционное прототипирование (см. разд. 3.5.6.1).
Итеративная разработка (см. разд. 3.5.6.2).
Постадийная разработка (см. разд. 3.5.6.3).

Адаптивные подходы.

Экстремальное программирование (см. разд. 3.5.7.1).
Адаптивная разработка (см. разд. 3.5.7.2).

Подходы исследовательского программирования.

Компьютерный дарвинизм (см. разд. 3.5.8.1).

3.1.3.2. Классификация технологических процессов

Мы будем рассматривать два набора (множества) технологических процессов. Первый набор - классический, включающий основные процессы, сложившиеся исторически в результате практического опыта разработки программного обеспечения. Второй набор - стандартный, т. е. основанный на стандарте ISO 12207:1995. Процессы классического набора фактически являются подмножеством стандартного, выступая там как процессы или действия процессов.

В классическом наборе выделим девять технологических процессов.

Возникновение и исследование идеи (см. разд. 3.2.1).
Управление (см. разд. 3.2.2).
Анализ требований (см. разд. 3.2.3).
Проектирование (см. разд. 3.2.3).
Программирование (см. разд. 3.2.4).
Тестирование и отладка (см. разд. 3.2.5).
Ввод в действие (см. разд. 3.2.6).
Эксплуатация и сопровождение (см. разд. 3.2.7).
Завершение эксплуатации (см. разд. 3.2.8).

Процессы жизненного цикла, определяемые международным стандартом

ISO 12207 [ISO/IEC 12207:1995], делятся натри группы.

Основные процессы.

Приобретение (см. разд. 3.3.1.1).
Поставка, (см. разд. 3.3.1.2).
Разработка (см. разд. 3.3.1.3).
Эксплуатация (см. разд. 3.3.1.4).
Сопровождение (см. разд. 3.3.1.5).

Вспомогательные процессы.

Документирование (см. разд. 3.3.2.1).
Управление конфигурацией (см. разд. 3.3.2.2).
Обеспечение качества (см. разд. 3.3.2.3).
Верификация (см. разд. 3.3.2.4).
Аттестация (см. разд. 3.3.2.5).
Совместная оценка (см. разд. 3.3.2.6).
Аудит (см. разд. 3.3.2.7).
Разрешение проблем (см. разд. 3.3.2.8).

Организационные процессы.

Управление (см. разд. 3.3.3.1).
Создание инфраструктуры (см. разд. 3.3.3.2).
Усовершенствование (см. разд. 3.3.3.3).
Обучение (см. разд. 3.3.3.4).

3.1.3.3. Классификация технологических стадий

Технологические стадии выделяются исходя из соображений разумного и рационального планирования и организации работ. Существует два основных варианта формирования промежутков времени, поддерживаемых технологическими подходами. В первом - формируются фазы, отражающие крупные временные этапы. Например, начальная фаза, середина, кризис, окончание. Во втором варианте - определяются стадии, отражающие названия классических процессов (или их подмножества или надмножества), большая часть времени которых проходит в данной стадии. Пример взаимосвязи между стандартными процессами и стадиями показан на рис. 3.2.

3.1.4. Проблемы и перспективы развития

Кто хочет обрести счастье или мудрость, тот должен искать перемен.
Конфуций

В настоящее время развитие и совершенствование технологических подходов ведется по двум направлениям, которые достаточно сильно отличаются друг от друга своими задачами.

Максимизация качества. Задачи, решаемые на этом направлении - надежность, четкость и формализация - ориентированы на военные разработки и системы реального времени. Данное направление поддерживается строгими технологическими подходами, обеспечивающими предсказуемость. Проблеме качества будет посвящен разд. 3.7.
Максимизация скорости разработки. Это направление в большей степени обращено к искусству, импровизации и поиску. Гибкие и адаптивные технологические подходы поддерживают именно этот путь. Особенность разработки определяется появлением новых классов систем. За последние несколько десятков лет такими классами были, например, системы "клиент-сервер", распределенные системы, интерактивные системы, системы Интернет-приложений. С точки зрения технологий, задача разработки Интернет-приложений является очень специфичной. Базироваться на классических технологических подходах ей не позволяют следующие особенности:
задача, как правило, не будет четко определена и специфицирована;
заказчики не смогут точно сформулировать свои требования;
как только система будет завершена, она устареет;
система должна правильно взаимодействовать с независимо разработанными программами.

Еще одно важное перспективное направление, связанное с технологией программирования - исследование человеческих и социальных факторов в информатике и программировании.

Предполагается, что в ближайшее время основные усилия в исследовании разработки программного обеспечения будут направлены на процесс проектирования. Это объясняется тем, что в больших проектах основной объем работ приходится на проектирование, которое должны выполнять талантливые творческие специалисты.

3.1.5. Рекомендации по литературе

Книги банальны. Гениальна только жизнь.
Томас Карлейль

По технологии программирования издано очень большое количество книг. Особого внимания заслуживают пять.

"Мифический человеко-месяц, или как создаются программные системы" [Брукс 1999]. Считается, что без прочтения этой книги не может состояться ни один крупный руководитель программного проекта. Первое издание книги вышло в 1975 году. Спустя 20 лет Фредерик Брукс выполнил ревизию своих старых идей и добавил новые.
"Программное обеспечение и его разработка" [Фоке 1985]. Автор излагает общие проблемы создания программного обеспечения, его сопровождения и использования с обилием конкретного материала.
"Путь камикадзе. Как разработчику программного обеспечения выжить в безнадежном проекте" [Йордон 2000]. Книга написана профессионалом, понимающим все современные проблемы и сложности в создании программного продукта.
"Объектно-ориентированный анализ и проектирование с примерами приложений на C++" [Буч 1998]. Прекрасное практическое руководство по созданию объектно-ориентированных систем. Считается, что благодаря этой работе объектно-ориентированное проектирование и система обозначений были взяты тысячами программистами для применения в реальных разработках в различных предметных областях.
"Проектирование программного обеспечения экономических информационных систем" [Вендров 2000]. Особенность этой книги в изложении международных и отечественных стандартов на процессы жизненного цикла программного обеспечения. Достаточно подробно описан ряд промышленных технологий.

Часть работы "Методология программирования" [Турский 1981] посвящена проектированию программ. Классическим учебником по технологии программирования считается книга "Software Engineering" [Sommerville 1992]. Рекомендации по управлению разработкой программного продукта подробно изложены в работе "The New Software Engenering" [Conger 1994].

ЛИТЕРАТУРА

Если вы прочли эту книгу и поняли ее - обратитесь по адресу ... - мы выплатим вам
стоимость этой книги и найдем высокооплачиваемую работу не менее ... марок в месяц.
(Надпись на карточке, приклеенной в конце книги "Jetzt lerne ich Perl")

1. Агафонов 1984 - Агафонов В. Н. Языки и средства спецификации программ (обзор). // Требования и спецификации в разработке программ. - М.: Мир, 1984, с. 285-344.

2. Ахтырченко, Леонтьев 2001 - Ахтырченко К. В., Леонтьев В. В. Моделирование программной архитектуры // Вычислительные методы и программирование. 2001. Т. 2, с. 33-48.

3. Баранов 1998 - Баранов С. Н. Управление программным проектом. Лекции по спецкурсу "Технология программирования". - СПб: Санкт-Петербургский государственный электротехнический университет, рукопись, 1998.

4. Бек 2000 - Кент Бек. Экстремальное программирование. // Открытые системы, № 1-2, 2000.

5. Богатырев 2001 - Руслан Богатырев. Linux: истоки новой философии программирования. // Мир ПК, № 1, 2001.

6. Брукс 1999 - Брукс Ф. Мифический человеко-месяц или как создаются программные системы. - СПб.: Символ-Плюс, 1999.

7. Буч 1998 - Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2-е изд. - М.: Бином, СПб.: Невский диалект, 1998.

8. Буч, Рамбо, Джекобсон 2000 - Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя. - М.: ДМК, 1998.

9. Вендров 2000 - Вендров А. М. Проектирование программного обеспечения экономических информационных систем. - М.: Финансы и статистика, 2000.

10. Гамма, Хелм, Джонсон, Влиссидес 2001 - Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного программирования. Паттерны проектирования. - СПб.: Питер, 2001.

11. Гейтс 2001 - Гейтс Б. Бизнес со скоростью мысли.- М.: ЭКСМО-Пресс, 2001.

12. Гласе, Нуазо 1983 - Гласе Р., Нуазо Р. Сопровождение программного обеспечения. - М.: Мир, 1983.

13. Грановская, Березная 1991 - Грановская Р. М. Березная И. Я. Интуиция и искусственный интеллект. - Л.: Изд-во ЛГУ. 1991.

14. Деметрович, Кнут, Радо 1989 - Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. - М.: Мир, 1989.

15. Жоголев 1996- Жоголев Е. А. Лекции по технологии программирования. - М.: МГУ, факультет ВМиК, рукопись, 1996.

16. Йордон 2001 - Эдвард Йордон. Путь камикадзе. Как разработчику программного обеспечения выжить в безнадежном проекте. - М.: ЛОРИ, 2001.

17. Калянов 1996- Калянов Г. Н. CASE структурный системный анализ (автоматизация и применение). - М.: ЛОРИ, 1996.

18. Канер, Фолк, Нгуен 2000- Сэм Канер, Джек Фолк, Енг Кек Нгуен. Тестирование программного обеспечения. - К.: ДиаСофт, 2000.

19. Керниган, Пайк 2001 - Керниган Брайан В., Пайк Роб. Практика программирования. - СПб.: Невский диалект, 2001.

20. Кинг 1991 - Кинг Д. Создание эффективного программного обеспечения. - М.: Мир, 1991.

21. Кнут 2000 - Дональд Кнут. Искусство программирования, том 1. Основные алгоритмы (3-е изд.). - М.: Издательский дом "Вильяме", 2000.

22. Козлов 1999 - Козлов В. А. Открытые информационные системы. - М.: Финансы и статистика, 1999.

23. Косовский, Хитрое 1997 - Косовский Н. К., Хитров Д. В. Агрегация инноваций для повышения результативности систем // Первый российский философский конгресс. Санкт-Петербург, 1997. Том V, с. 122-124.

24. Кулаичев 1999 - Кулаичев А. П. Методы и средства анализа данных в среде Windows. - М.: Информатика и компьютеры. 1999.

25. Липаев 1986 - Липаев В. В. Тестирование программ. - М.: Радио и связь, 1986.

26. Майерс 1980 - Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980.

27. Пашкус, Мисько 1991 - Пашкус Ю. В. Мисько О. Н. Введение в бизнес. - Л.: "Северо-Запад", 1991.

28. Пойа 1957 - Д. Пойа. Математика и правдоподобные рассуждения. - М.: Изд-во иностранной литературы, 1957.

29. Поттосин 1997 - Поттосин И. В. "Хорошая программа": попытка точного определения понятия. // Программирование, 1997, № 2, с. 3-17.

30. Психология 2000 - Психология менеджмента: учебник. - СПб.: Изд-во Санкт-Петербургского университета, 2000.

31. Романовский 1999- Романовский И. В. Дискретный анализ. - СПб.: Невский диалект, 1999.

32. Тассел 1985 - Д. ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985.

33. Терехов, Туньон 1999 - Терехов А. А., Туньон В. Современные модели качества программного обеспечения. // BYTE/Россия. № 12, 1999.

34. Турский 1981 - Турский В. Методология программирования. - М.: Мир, 1981.

35. Фаулер, Скотт 1999 - Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. - М.: Мир, 1999.

36. Физики 1968 - Физики продолжают шутить. - М.: Мир, 1968.

37. Филлит, Гарсиа-Диас 1984- Филлипс Д., Гарсиа-Диас А. Методы анализа сетей. - М.: Мир, 1984.

38. Фоке 1985 - Дж. Фоке. Программное обеспечение и его разработка.- М.: Мир, 1985.

39. Ходяченко 1999 - Ходяченко В. Б. Маркетинг: учебное пособие. - СПб.: Изд-во Санкт-Петербургского университета, 1999.

40. Холстед 1981 - Холстед М. X. Начала науки о программах. - М.: Финансы и статистика, 1981.

41. Цейтин 1990 - Цейтин Г. С. На пути к сборочному программированию// Программирование, 1990, № 1, с. 78-92.

42. Шевчук, Харахоркина, Журавлев, Армен 1998 - Шевчук О. Б., Харахоркина А. А., Журавлев Б. С., Армен В. А. Защищайтесь, сударь! Руководство по созданию и защите диссертаций. - СПб.: Политехника, 1998.

43. Шлеер, Меллор 1993 - Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. - Киев: Диалектика, 1993.

44. Abrial 1996- Abrial J.-R. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.

45. Bach 1995 - James Bach. The Challenge of "Good Enough" Software. // American Programmer, October 1995.

46. Boehm 1981 - Boehm B. W. Software Engineering Economics. Prentice Hall, 1981.

47. Conger 1994 - Conger, Sue A. The New Software Engenering. Wadsworth Publishing Company, 1994.

48. ISO/IEC 12207:1995- ISO/IEC 12207:1995 Information Technology- Software Life Cycle Processes.

49. ISO 9000 1992 - ISO 9000 International Standards for quality Management, Geneva, Switzerland, International Organization for Standartization, 1992.

50. ISO 90011992 - Quality management and quality assurance standard - Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintenance of software.

51. Linger 1994 - Richard C. Linger. Cleanroom process model.// IEEE Software, March 1994, pp. 50-58.

52. Robillard, Robillard 2000 - Pierre N. Robillard, Martin P. Robillard. Types of collaborative work in software engineering. // The Journal of Systems and Software 53, 2000, pp. 219-224.

53. Safonov 1996 - Safonov V. O. Compiler Reengineering Methodology and its Application to SUN Pascal Compiler. // Perspectives of System Informatics. Andrej Ershov Second International Memorial Conference. Akademgorodok, Novosibirsk Russia, June 25-28, 1996, pp. 292-294.

54. Sommerville 1992 - Ian Sommerville. Software Engineering. Addison-Wesley Publishing Company, 1992.

55. Shaw, Garlan 1996 - M. Shaw, D. Garlan. Software Architecture: Perspectives on an Emergine Discipline. Prentice Hall, 1996.

56. Thomsett 1990 - Rob Thomsett. Effective Project Teams: A Dilemma, a Model, a Solution. American Programmer, July-August 1990.

57. Vliet 2000 - Vliet H. V. Software Engineering: Principles and Practice. Join Wiley and Sons, 2000.

58. Walston, Felix 1977- Walston C. E., Felix C. P. A Method of Programming Measurement and Estimation. // IBM Systems Journal, Vol. 16, No. 1, 1977, pp. 54-73.

технологии программирования к оглавлению к высокоуровн. языкам - 3GL к визуальным средам - 4GL

Знаете ли Вы, что абстракция через спецификацию - это прием программирования, позволяющий абстрагироваться от процесса вычислений описанных в теле процедуры, до уровня знания того, что данная процедура делает. Это достигается путем задания спецификации, описывающей эффект ее работы, после чего смысл обращения к данной процедуре становится ясным через анализ этой спецификации, а не самого тела процедуры. Мы пользуемся абстракцией через спецификацию всякий раз, когда связываем с процедурой некий комментарий, достаточно информативный для того, чтобы иметь возможность работать без анализа тела процедуры. Абстракция через спецификацию позволяет абстрагироваться от процесса вычислений описанных в теле процедуры, до уровня знания того, что данная процедура делает. Это достигается путем задания спецификации, описывающей эффект ее работы, после чего смысл обращения к данной процедуре становится ясным через анализ этой спецификации, а не самого тела процедуры. Мы пользуемся абстракцией через спецификацию всякий раз, когда связываем с процедурой некий комментарий, достаточно информативный для того, чтобы иметь возможность работать без анализа тела процедуры.

НОВОСТИ ФОРУМА

Рыцари теории эфира