6.031 — Software Construction
Fall 2018

6.031: Software Construction

Fall 2018 · Course Staff · MWF11-12:30 (34-101)


Tue Dec 11: Project reflection and last class

The group project is due tomorrow at 11am. Also due at 11am is your individual reflection about the project, so please don’t forget to fill that out.

Tomorrow is the last 6.031 class of the semester. We will have a brief wrap-up and summary of the course.

Fri Dec 7: Quiz 2 grades

Quiz 2 grades are now available on Omnivore.

You can review your graded quiz on Gradescope. You will receive an email from Gradescope with details.

Quiz 2 solutions are posted on the web site.

As with all assignments, please bring grading issues or questions to instructor office hours. Gradescope has a “regrade request” feature, but we will not be using it.

Tue Nov 27: Problem Set 4 grades

Overall ps4 grades and grade reports are now available on Omnivore.

To see your beta autograde report, go to Didit, follow the link to your psets/ps4 page, and click “beta milestone.”

Your manual grade was assigned by staff inspection of your specs, tests, implementations, thread safety docs, and your response to code reviews.

If you have questions, please see the FAQ about grading questions.

Tue Nov 27: Project handout correction

We’ve made a correction to the Norn project specification handout, in the Web user interface section on Visualization.

The example there originally claimed to visualize:


but it was only showing the structure of the last subexpression in the sequence.

The visualization must include the full recursive structure of the input expression. For this longer input, while the set of recipients would be the same, the visualization must also show the operands of ;, of =, and of the , inside the definition of wizards.

If you have questions about this correction, your milestone meeting tomorrow is a great time to ask.

Mon Nov 26: Quiz 2 next Mon Dec 3

Quiz 2 will be on Monday, December 3, 11:05am-11:55am, in Walker 3rd floor gym. That’s the usual class time, but not the usual class location.

The quiz is 50 minutes long, so class will end early that day.

The quiz will cover readings 1-27, from the start of the semester through Little Languages. Any and all concepts from readings 1-27 may appear on the quiz, though you can expect more focus on topics from the second half of the class that weren’t covered by Quiz 1. Quizzes from previous semesters of 6.031 and 6.005 can be found in the quiz archive, although their content may differ from the topics we’ve discussed this semester (with greater divergence the farther back in time you go).

The quiz is on paper, so you will not need your laptop. It is closed-book, closed-notes, but you may bring a single 8.5×11″ double-sided page of notes, readable without a magnifying glass. The notes must be created by you, not anybody else, since the process of creating a crib sheet is most of the learning benefit of it.

A quiz review will be held during classtime on Fri Nov 30, and as always, you can visit office hours to ask quiz review questions, or post on Piazza.