并行系统软件工程

本文综述了目前并行系统的软件工程实施方法。并行软件的设计者不仅阐明了有关应用方面和基础硬件平台的特点,而且在许多场合下要求可移植可扩充的软件。为了适应这些要求,许多专门技术和工具便应运而生。对此,本文将在其并行软件的生命周期范围内加以讨论。本文还概述了形式方法在并行软件的实际生产过程中的作用。但重点仍放在开发方法与开发环境的形式方面。它们包括CASE工具,运行时间支持系统,以及采用普通软件开发经验而获得的方法。因为特别强调并行系统的性能,所以考虑了性能评估和监视系统方面的工作。