Journal of software incremental updating algorithm