A methodology for the development and the support of massively parallel programs