Text this: A computational solution for the software refactoring problem: from a formalism toward an optimization approach