teaching machines

CS 145 – Introduction to Object-oriented Programming

Information Syllabus Enrollment: 47 RSS feed Lectures Homework Labs Exams

CS 491 – Mobile Software Development

Information Syllabus Enrollment: 24 Lecture Homework Post mortems

CS 145 – Introduction to Object-oriented Programming

Information Syllabus Enrollment: 90 Lecture Homework Labs Exams

CS 330 – Programming Languages

Information Syllabus Enrollment: 43 RSS feed Lecture Homework Post mortems

CS 491 – Mobile Software Development

Information Syllabus Enrollment: 20 RSS feed Lecture Homework Post mortems

ITiCSE 2012

Last week I went to Haifa, Israel, to attend the Innovation and Technology in Computer Science Education (ITiCSE) 2012 conference. I presented my work on SpecCheck and ate a lot of pita bread. Here’s what I saw on my visit: Some highlights of my trip included: Coming to terms with the fact that the greatest […]

On posting

For several of my classes, I ask students to contribute to this blog. If you are reading this page, you’re probably a student. You are given your own accounts and you will do your own posting. Collected here are some guidelines that I ask you to follow when publishing your content. Identity Please choose a […]

SpecCheck Questions

What do students learn by using SpecCheck? I wish my purpose were so noble. SpecCheck’s raison d’etre is to make grading easier in large lecture classes. By conditioning student code to better conform to the published specification, we graders are more likely to succeed in running functional tests—which only work if the students name things correctly, have […]