Documents for the software engineering class that I am TAing at Ashesi