Formality, Evolution, and Model-driven Software Engineering

Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen. Formality, Evolution, and Model-driven Software Engineering. Electronic Notes in Theoretical Computer Science, 130:39-55, 2005. [doi]

Abstract

Abstract is missing.