MIT Libraries homeMIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT OpenCourseWare (MIT OCW) - Archived Content
  • MIT OCW Archived Courses
  • Electrical Engineering and Computer Science (6) -
  • View Item
  • DSpace@MIT Home
  • MIT OpenCourseWare (MIT OCW) - Archived Content
  • MIT OCW Archived Courses
  • Electrical Engineering and Computer Science (6) -
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

6.005 Elements of Software Construction, Fall 2008

Author(s)
Jackson, Daniel; Miller, Robert
Thumbnail
Download6-005-fall-2008/contents/index.htm (28.41Kb)
Alternative title
Elements of Software Construction
Terms of use
Usage Restrictions: This site (c) Massachusetts Institute of Technology 2012. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license") unless otherwise noted. The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions.
Metadata
Show full item record
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.
Date issued
2008-12
URI
http://hdl.handle.net/1721.1/75824
Other identifiers
6.005-Fall2008
local: 6.005
local: IMSCP-MD5-61503ee9d7b0e5d66401b0b76a60087a
Keywords
software development, java programming, java, invariants, decoupling, data abstraction, state machine, module dependency, object model, model view controller, mvc, client server, eclipse, junit, subversion, swing, design, implement, midi player, sat solver, photo organizer, testing, coverage, event based programming, concurrency

Collections
  • Electrical Engineering and Computer Science (6) -

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries homeMIT Libraries logo

Find us on

Twitter Facebook Instagram YouTube RSS

MIT Libraries navigation

SearchHours & locationsBorrow & requestResearch supportAbout us
PrivacyPermissionsAccessibility
MIT
Massachusetts Institute of Technology
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.