Publisher's Synopsis
This volume on software reliability engineering covers topics including: reliability prediction and estimation; process improvement and software maintenance; test planning and automation; operational profile and prognosis; formal methods; and reliability analysis and optimization.