MIT · 6.031

Software Construction

软件构造

Specifications, testing, abstract data types, design patterns, concurrency, and maintainable software design.

Subject：Software Engineering

Level：Intermediate

Suggested stage：Year 2 (inferred)

Public-material edition：2021

Language：English

Videos：Not verified

Assignments / solutions：Available / Not verified

Prerequisites

Programming Abstractions or equivalent →

Start here

All official course content

Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.

38 direct tasks

▶Lectures, video & readingCourse content in the official sequence29

Reading 1: Static Checking Reading 2: Basic TypeScript Reading 3: Testing Reading 4: Code Review Reading 5: Version Control Reading 6: Specifications Reading 7: Designing Specifications Reading 8: Mutability & Immutability Reading 9: Avoiding Debugging Reading 10: Abstract Data Types Reading 11: Abstraction Functions & Rep Invariants Reading 12: Interfaces, Generics, & Enums Reading 13: Debugging Reading 14: Recursion Reading 15: Equality Reading 16: Map, Filter, Reduce Reading 17: Recursive Data Types Reading 18: Regular Expressions & Grammars Reading 19: Parsers Reading 20: Callbacks & Graphical User Interfaces Reading 21: Concurrency Reading 22: Promises Reading 23: Mutual Exclusion Reading 24: Message Passing Reading 25: Networking Reading 26: Little Languages I Reading 27: Little Languages II Reading 28: Ethical Software Engineering Reading 29: Team Version Control

✓Assignments & practiceOpen the matching problem or assignment page5

Problem Set 0 Problem Set 1 Problem Set 2 Problem Set 3 Problem Set 4

◆Labs & projectsCourse projects, labs and milestones2

Star Battle project: design and implementation Complete Star Battle project and reflection

◇Exams & quizzesOfficial quizzes, exams and review material2

Quiz 1 Quiz 2

Official resource hubs

Use these to browse a complete resource collection; the section above links directly to individual study items.

Course topics and readingsMIT EECS ↗

Source and verification

Every link points to an official university or course-team page. The year identifies the linked public-material edition, not necessarily the latest on-campus offering; a school may have newer materials that are not public. Unknown facts remain unverified rather than guessed.

MIT EECS · verified 2026-07-31

Open official course ↗Report a resource issue