Readings

• A Spiral Model of Software Development and Enhancement by Barry W. Boehm
• On the Criteria To Be Used in Decomposing Systems into Modules by David Parnas
• A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults by Hyunsook Do and Gregg Rothermel, from Proceedings of the IEEE International Conference on Software Maintenance, September 2005
• Modeling Software Defect Introduction by Sunita Chulani, from California Software Symposium, Nov 1997.

Examples

Links

• Examples of Z notation by Jonathan Jacky (University of Washington)