1. Describe in your own words the advantages of specifying pre-conditions, post-conditions, and invariants. How, specifically, do they help to increase the quality of functions?
2. Create a chart or table that compares and contrasts the 4 types of software testing.
3. List the qualities that designs should possess. In your own words, describe the meaning of each.
4. What affect do application servers have on the traditional SDLC? What affect does server virtualization have on application servers?