by Carlo Ghezzi (Author), Mehdi Jazayeri (Author), Dino Mandrioli (Author)
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.
Format: Paperback
Pages: 592
Edition: 1
Publisher: Pearson Education
Published: 01 Feb 1991
ISBN 10: 0138182043
ISBN 13: 9780138182045