Software engineering for parallel systems: the TRAPPER approach | IEEE Conference Publication | IEEE Xplore