COMP1120: Reading

Textbooks

The course textbook for COMP1120 is

• Object-Oriented Programming in Eiffel
  Pete Thomas and Ray Weedon
  Addison-Wesley, 1998.

This is the same book as the course textbook for COMP1100, so you've probably already bought a copy. A good reference book for this course is

• Object-Oriented Software Construction (second edition)
  Bertrand Meyer
  Prentice-Hall, 1997.

These books can be bought from the Co-op bookshop, which is located in concessions area, which is area 17 in quadrant 2 of the campus map.

The Information Pack

The course information pack (also known as a reading brick) contains all the required reading material not in the textbook. It is relevant to the Software Engineering module of the course. You need to have both the course textbook and a copy of the information pack. When the Software Engineering module of course begins, you will be given a copy.

The pack contains the following material:

• Software Quality Bertrand Meyer. Object-Oriented Software Construction, Chapter 1:3--20.
• Understanding Object-Oriented: A Unifying Paradigm Tim Korson and John D. McGregor. Understanding Object-Oriented: A Unifying Paradigm. Communications of the ACM, 33(9):40-60, September 1990.
• Lists in Eiffel Jacob Gore. Object Structures: Building Object-Oriented Software Components with Eiffel, Chapter 6:67-105. Addison-Wesley, 1996.
• Software's Chronic Crisis W. Wayt Gibbs. Software's Chronic Crisis. Scientific American, pp. 72-81, September 1994.
• How Software Doesn't Work Alan Joch. How Software Doesn't Work. BYTE, pp. 48-54, December 1995.
• The Risks of Software Bev Littlewood and Lorenzo Strigini. The Risks of Software. Scientific American, pp. 62-75, November 1992.
• Safety-critical Systems - Legal Liability Dai Davis. Safety-critical Systems - Legal Liability. Computing and Control Engineering Journal, 5(1):13-17, February 1994.
• Software Life Cycle Bertrand Meyer. Object-Oriented Software Construction, Chapter 28:923--934.
• Why be Formal Annabelle McIver. Why be Formal. New Scientist, pp. 34-38, 26 August 1995.
• Propositional Calculus A.G. Hamilton. Logic for Mathematicians, Chapter 1:1-18. Cambridge University Press, 1988.
• Predicate Calculus Susanna S. Epp. Discrete Mathematics with Applications Chapter 2:75-111. PWS, 1995.
• Testing Jean-Marc Jezequel. Object-Oriented Software Engineering with Eiffel, Chapter 7:193-215. Addison-Wesley, 1996.
• Unit and Regression Testing Adrian McCarthy. Unit and Regression Testing. Dr. Dobb's Journal, 262:18-84, February 1997.
• Program Testing Glenford J. Myers. A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections. Communications of the ACM, 21(9):760-768, September 1978.
• Coding Style Bertrand Meyer. Object-Oriented Software Construction, Chapter 26:875--902.
• Literate Programming Simplified Norman Ramsey. Literate programming simplified. IEEE Software, 11(5):97-105, September 1994.
• RCS - A System for Version Control Walter F. Tichy. RCS - A System for Version Control. Software - Practice and Experience, 15(7):637-654, July 1985.
• Regular Expressions Brian W. Kernighan and Rob Pike. Regular Expressions. Dr. Dobb's Journal, 298:19-22, April 1999.
• Eiffel Syntax Diagrams Bertrand Meyer. Syntax Diagrams. Eiffel: The Language, Appendix J:578-581. Prentice-Hall, 1992.