1. Web sections These are extra sections that add to the content presented in each
chapter. These web sections are linked from breakout boxes in each chapter.
2. Web chapters There are four web chapters covering formal methods, interaction
design, documentation, and application architectures. I may add other chapters
on new topics during the lifetime of the book.
3. Material for instructors The material in this section is intended to support people
who are teaching software engineering. See the “Support Materials” section
in this Preface.
4. Case studies These provide additional information about the case studies used
in the book (insulin pump, mental health-care system, wilderness weather system)
