A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

David Rine. A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components. Journal of Systems Integration, 2(2):169-180, 1992. [doi]

Abstract

Abstract is missing.