The main reading of the course is from the textbook:

  • Software Engineering I. Sommerville. 9th Ed. Addison-Wesley. 2010. ISBN-13: 978-0137035151. The digital copy (for purchase, at a discount compared to the hard copy) can be explored here.

Additional (useful) resources may include the below:

  • Object-Oriented Modeling and Design with UML 2nd ed., M. Blaha, J. Rumbaugh. Available from the bookstore as a supplemental text.
  • The Android Programming Book (andbook)

All reading assignments should be completed by the beginning of the week for which they are assigned. Pop quizzes may be given at any time, and can cover any material assigned for reading, or covered in class, including reading assignments for that day.

Additional reading assignments from the web.

All of the below will help with understanding material, and may be covered on the exam(s). You will need to use be on campus or use Proxy/VPN authentication to access these materials.

Week 1

  • Sommerville, Ch.5
  • Brooks, F.P., Jr.; , "No Silver Bullet Essence and Accidents of Software Engineering," Computer , vol.20, no.4, pp.10-19, April 1987. doi: 10.1109/MC.1987.1663532

Week 2

Week 3

Week 4

  • Sommerville, Ch.8

Week 5

Week 6

  • Sommerville, Ch.4

Week 7

  • Sommerville, Ch.2

Week 8

  • Sommerville, Ch.3

Week 9

  • Sommerville, Ch.3

Week 10

  • Sommerville, Ch.7
  • Jonathan Sprinkle. "Model-Integrated Computing." IEEE Potentials, 23(1):28-30, 2004. (link available on campus or through VPN)
  • E. Long, A. Misra, J. Sztipanovits. "Increasing productivity at Saturn," Computer 31(8):35-43, 1998. (link available on campus or through VPN)
  • J. Sztipanovits, G. Karsai, G. "Model-integrated computing," Computer 30(4):110-111, 1997. (link available on campus or through VPN)

Week 11

Week 12

  • McCabe, T.J.; , "A Complexity Measure," Software Engineering, IEEE Transactions on , vol.SE-2, no.4, pp. 308- 320, Dec. 1976. doi: 10.1109/TSE.1976.233837.

Week 13

Week 14

  • Sommerville, Ch.12
  • Find an online tutorial about Linear Temporal Logic (LTL), and then read:
  • E. M. Clarke, E. A. Emerson, and A. P. Sistla. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 2 (April 1986), 244-263. doi: 10.1145/5397.5399

Week 15

  • Sommerville, Ch.21