Publisher's Synopsis
This text on quality software covers topics such as: Web-based systems; distributed, concurrent, and real-time systems; metrics and models; software testing; object-oriented models and design; software quality assurance; formal methods; industrial experience; and test case generation.