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