- 巻冊次
-
ISBN 9780138182045
内容説明
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.
目次
1. Introduction.
2. Software: Its Nature and Qualities.
3. Software Engineering Principles.
4. Design.
5. Software Specification.
6. Verification.
7. The Software Production Process.
8. Management of Software Engineering.
9. Software Engineering Environments.
10. Epilog.
Case Study of a Successful (Typical) Project.
- 巻冊次
-
ISBN 9780138204327
内容説明
This volume provides a look at the fundamentals of software engineering - stressing principles, methods, and rigorous formal and informal approaches.
「Nielsen BookData」 より