Software engineering techniques and tools for high performance parallel systems | IEEE Conference Publication | IEEE Xplore