Text this: Formal and adaptive methods for automation of parallel programs construction :