Definition of a Method for the Formulation of Problems to be Solved with High Performance Computing