В какой модели жизненного цикла информационной системы после завершения работы над очередным этапом происходит корректировка, повышающая надежность разработки ?