- Выработка требований и целей - формулировка технических, маркетинговых, эксплуатационных и других требований будущей программной системы в виде документа, который в современной западной практике носит название Marketing Requirements Document (MRD);
- Спецификация - формализованное, полное, точное и внешнее описание программной системы (термин внешнее в данном случае понимается описание того, "ЧТО, а не КАК", т.е. элементы и проект реализации в спецификацию не входят);
- Проектирование (дизайн) - разработка подробного проекта системы, включая иерархию модулей, входные и выходные данные, информационные потоки, представление данных, основные алгоритмы; частью спецификации и проектирования является моделирование - построение формальной модели проекта;
- Реализация (кодирование) - разработка программного кода системы на выбранном для реализации языке программирования;
- Верификация - проверка корректности реализации программной системы, которая на практике в большинстве случаев выполняется путем тестирования (прогона набора тестов), либо путем формальной верификации - формального доказательства того, что реализация системы соответствует формальной спецификации, выполненной на каком-либо языке спецификаций. Иногда тестирование сочетается с формальной верификацией. При обнаружении ошибки выполняется отладка;
- Выпуск (релиз) программной системы для пользователей;
- Сопровождение программной системы - исправление ошибок, обучение пользователей, ответы на их вопросы, реализация расширений функциональности системы по требованию пользователей.
14 Обзор возможностей Visual Studio 2013. Водопадная модель жизненного цикла программы
