Software Engineering Formal and Practical on Formality on Practicality the Approachused in the Book Reader Background Using the Book in Courses Online Supplemental Material Faculty Colleagues Who Have Taught Me Much about Software Engineering Include