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