TY - BOOK AU - Sommerville,Ian TI - Software engineering SN - 0201427656 AV - QA76.758 S645 1996 PY - 1996/// CY - Wokingham PB - Addison-Wesley KW - Software engineering N1 - 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 N2 - 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 ER -