6.005  Software Construction

Project Grades Released

Your project grade reports are available at: https://web.mit.edu/6.005/www/sp15/deliveries/.

Announced on 19 May 2015  9:05  p.m. by Gilwoo Lee

last class tomorrow: conclusion + project checkin

Tomorrow is the last 6.005 class of the semester, so we'll start the class with a brief wrapup and summary of the course, and then the rest of the time will be project worktime -- including a required checkin with your TA.

The deadline for the project is 10 pm tomorrow (pushed to your group's git repo), and your individual reflection about the project is due by midnight ( submitted as a PDF on Stellar).

Announced on 12 May 2015  10:34  a.m. by Robert C Miller

Quiz 2 grades

Quiz 2 grades are now available on Gradescope.

Quiz 2 solutions are linked on Stellar. Later today, your official grade will also be recorded in the same location as other grades:
https://web.mit.edu/6.005/www/sp15/deliveries/

As with all assignments, you must bring grading issues or questions to instructor office hours.

Announced on 12 May 2015  9:51  a.m. by Max Goldman

Expresso: public tests, no type inspection

Two things to keep in mind as you work toward the project deadline:

1. Starting now, Didit will run a small number of staff tests to check that you support the required Java interface to Expresso. Make sure you have a green build on Didit. You are encouraged to run as many of your tests as possible on Didit, but see the "Automated Testing" page for how to disable a test class.

2. Outside of equals(), type inspection -- instanceof, getClass(), downcasting, etc. -- is not SFB or RFC. Do not use instanceof or getClass(). Do not expose the concrete variant of an instance with an isWhatever() operation or an enum of variants. This does not in any way exclude operations that are defined in terms of abstract values. For example, in the List ADT, the isEmpty() operation doesn’t reveal whether empty list is its own variant or not; any implementation of List will have some rep for the empty list. See reading 16 part 2 for examples of implementing complex operations without type inspection, and ask your mentor or on Piazza if you have questions.

Announced on 10 May 2015  12:35  p.m. by Max Goldman

Pset 4 Grades Available

To see your final pset 4 grade and grade report, go to https://web.mit.edu/6.005/www/sp15/deliveries/

Your final grade was calculated as follows:
40% * beta-autograde + 45% * max(beta-autograde, final-autograde) + 15% * final-manual-grade

Your final manual grade was assigned by staff inspection of your thread safety argument, code quality, testing strategies, specifications, and response to code reviews.

For clarifications about grading comments on pset 4 please ask the staff member who made the comment. This information can be found in your grade report. Other questions about grading should be asked in person at Prof. Miller or Prof. Goldman's office hours.

Announced on 08 May 2015  9:29  a.m. by Gilwoo Lee