ИСТИНА

This paper addresses the problem of creation of an effective methodology for computer aided engineering of parallel program systems (PPS). It describes the approach to computer aided engineering of PPS that is the attempt to solve this problem combining the generalization of our methodology for computer aided construction of non-parallel program systems (NPS} and our automatic parallelizing method designed for construction of PPS. The theoretical foundations of PPS-construction, task knowledge representation language and automatic parallelizing method are presented and described in short.