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.
- ISBN10 0138182043
- ISBN13 9780138182045
- Publish Date 1 February 1991
- Publish Status Out of Print
- Out of Print 17 October 2003
- Publish Country US
- Imprint Pearson
- Format Paperback
- Pages 592
- Language English