Includes bibliographical references (p. 715-734) and index

Part One: IntroductionIntroductionComputer-based System EngineeringProject ManagementPart Two: Requirements and SpecificationsRequirements EngineeringRequirements AnalysisSystem ModelsRequirements Definition and SpecificationSoftware PrototypingFormal SpecificationAlgebraic SpecificationModel-based SpecificationPart Three: Software DesignSoftware DesignArchitectural DesignObject-oriented DesignFunction-oriented DesignReal-time Systems DesignUser Interface DesignPart Four: Dependable SystemsSoftware ReliabilityProgramming for ReliabilitySoftware ReuseSafety-critical SoftwarePart Five: Verification and ValidationVerification and ValidationDefect TestingStatus VerificationPart Six: CASEComputer-aided Software EngineeringCASE WorkbenchesSoftware Engineering EnvironmentsPart Seven: ManagementManaging PeopleSoftware Cost EstimationQuality ManagementProcess ImprovementPart Eight: EvolutionSoftware MaintenanceConfiguration ManagementSoftware Re-engineeringReferencesIndex.

This revision introduces a spectrum of software engineering techniques which can be applied to practical software projects. This fifth edition features seven new chapters on areas such as computer-based systems engineering, requirements analysis, managing people, quality management and software re-engineering. The coverage of CASE and software evolution has been updated, and project management topics are dealt with early on in the book as a framework for project-oriented courses. Program examples are provided in C++ as well as Ada.