"Elements of Software Construction, Fall 2008"

View Resource

Remix and Share

Author:

Jackson, Daniel, Miller, Robert

Subject:

Science and Technology

Institution Name:

M.I.T.

Collection:

MIT OpenCourseWare

Grade Level:

Post-secondary

Abstract:

" This course provides an introduction to the fundamental principles and techniques of software development that have greatest impact on practice. Topics include capturing the essence of a problem by recognizing and inventing suitable abstractions; key paradigms, including state machines, functional programming, and object-oriented programming; use of design patterns to bridge gap between models and code; the role of interfaces and specification in achieving modularity and decoupling; reasoning about code using invariants; testing, test-case generation and coverage; and essentials of programming with objects, functions, and abstract types. The course includes exercises in modeling, design, implementation and reasoning."

Languages:

English

Material Type:

Activities and Labs, Full Course, Homework and Assignments, Lecture Notes, Training Materials

Media Format:

Text/HTML, Downloadable docs

Conditions of Use:

Creative Commons Attribution-Noncommercial-Share Alike 3.0
Creative Commons Attribution-NonCommercial-ShareAlike 3.0