17-654 Analysis of Software Artifacts Syllabus

17-654 Analysis of Software Artifacts Syllabus

Spring 2011
Monday/Wednesday 10:30-11:50am
300 S. Craig, room 265
12 units
Professors Jonathan Aldrich
and Eduardo Miranda

TA Jeffrey Gennari

jgennari [at] andrew
Office Hours TBD

Prior versions: Spring 2009, Spring 2008, Spring 2007, Spring 2006, Spring 2005

Textbooks

Required texts:

Alan Shalloway and James Trott. Design Patterns Explained: A New Perspective on Object-Oriented Design (Second Edition).
Paul C. Jorgensen. Software Testing: A Craftsman's Approach (Third Edition).

Optional references:

Huth and Ryan. Logic in Computer Science (Second Edition).
Wiegers. Peer Reviews in Software.
Nielson, Nielson, and Hankin. Principles of Program Analysis.

The texts above have all been requested to be on reserve in the Engineering and Science Library.

Announcements: see Blackboard