Fundamentals of Software Engineering

Emphasizing fundamental principles rather than specific software engineering tools, this text provides selective, in-depth coverage of the fundamentals of software engineering, stressing principles, methods, and rigorous formal and informal approaches. The text uses small examples to illustrate principles and large case studies to show application and combination of principles in more realistic situations. It emphasizes formality, design for change, and incrementality using case studies to compare and contrast the different formalisms. Finally, it covers design, specification, verification and validation, the software process, management and environments.