Ожидается, что программное обеспечение будет изменено в течение его продуктивной жизни. Процесс преобразования одной правильной программы в другую правильную программу чрезвычайно сложный.