120 results found in 6 ms.
Page 1 of 8 next
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
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 programmin
Author(s):
Tag(s):
- electrical engineering and computer science
- 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
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course is a core electrical engineering computer science subject at MIT. It introduces concepts and techniques relevant to the production of large software systems. Students are taught a programming method based on the recognition and description of useful abstractions. Topics include: modularity; specification; data abstraction; objec
Author(s):
Tag(s):
- electrical engineering and computer science
- modularity
- specification
- data abstraction
- object modeling
- design patterns
- testing
- software systems
- programming method
- abstractions
- programming projects
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging
Author(s):
Tag(s):
- electrical engineering and computer science
- program analysis
- static analysis
- abstract interpretation (dataflow)
- type systems
- model checking
- decision procedures (sat
- bdds)
- theorem-proving
- dynamic analysis
- testing
- fault isolation (debugging)
- model inference
- and visualization
- decision procedures (sat
- bdds)
File: 6-005-fall-2008.zip
This OER is part of OCW: Elements of Software Construction
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: 6-170-fall-2005.zip
This OER is part of OCW: Laboratory in Software Engineering
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- modularity
- specification
- data abstraction
- object modeling
- design patterns
- testing
- software systems
- programming method
- abstractions
- programming projects
File: 6-883-fall-2005.zip
This OER is part of OCW: Program Analysis
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- program analysis
- static analysis
- abstract interpretation (dataflow)
- type systems
- model checking
- decision procedures (sat
- bdds)
- theorem-proving
- dynamic analysis
- testing
- fault isolation (debugging)
- model inference
- and visualization
- decision procedures (sat
- bdds)
File: MIT6_005f08_pset02.pdf
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
More OERs like this |
|
Pages: 4
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: MIT6_005f08_pset01.pdf
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: exploration3.zip
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: MIT6_005f08_pset03.pdf
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
More OERs like this |
|
Pages: 4
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: exploration2.zip
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- 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
More OERs like this |
|
Pages: 3
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: exploration1.zip
This OER is part of OCW: Elements of Software Construction
Published under: /Assignments
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- 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
File: ps6.pdf
This OER is part of OCW: Laboratory in Software Engineering
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- modularity
- specification
- data abstraction
- object modeling
- design patterns
- testing
- software systems
- programming method
- abstractions
- programming projects
120 results found.
Page 1 of 8 next