The long-awaited second edition of Fundamentals of Software Engineering presents the fundamental principles of software engineering and illustrates the application of those principles in the different phases of software development. It stresses the importance of a rigorous approach to the practice of software engineering. Over 350 exercises are provided to aid in the comprehension of the material. Over 20 in-depth case studies show how to deal with the intricacies of real-world problems.

This second edition maintains the successful structure of the first edition and enhances the contents by adding treatment of recent developments in software engineering.

New coverage to this edition includes:

• More thorough treatment of object orientation
• Greater coverage of software architecture and components
• Introduction to modeling languages Z and UML
• Description and case study of requirements engineering
• New validation techniques, including model checking
• Quality improvement paradigms, including GQM and CMM
• More material on software processes, including the unified process
• Several new case studies on process, requirements, design, organization, and systems engineering
• A comprehensive supplement package, including an Instructor's Resource CD and a Companion Website.

This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are applicable throughout the software lifecycle. This emphasis enables readers to respond to the rapid changes in technology that are common today. Principles and techniques are emphasized rather than specific tools--users learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier. KEY TOPICS: The authors discuss principles such as design, specification, verification, production, management and tools. Now coverage includes: more detailed analysis and explanation of object-oriented techniques; the use of Unified Modeling Language (UML); requirements analysis and software architecture; Model checking--a technique that provides automatic support to the human activity of software verification; GQM--used to evaluate software quality and help improve the software process; Z specification language. MARKET: For software engineers.