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