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