Elements of Software Construction (PDF)
| dc.contributor.author | Miller, Prof. Robert | |
| dc.date.accessioned | 2014-09-24T15:35:11Z | |
| dc.date.available | 2014-09-24T15:35:11Z | |
| dc.date.issued | 2011 | |
| dc.description | This course introduces fundamental principles and techniques of software development. Students learn how to write software that is safe from bugs, easy to understand, and ready for change. Topics include specifications and invariants; testing, test-case generation, and coverage; state machines; abstract data types and representation independence; design patterns for object-oriented programming; concurrent programming, including message passing and shared concurrency, and defending against races and deadlock; and functional programming with immutable data and higher-order functions. The course includes weekly programming exercises and two substantial group projects. | en_US |
| dc.identifier.uri | http://hdl.handle.net/123456789/419 | |
| dc.title | Elements of Software Construction (PDF) | en_US |
Files
Original bundle
1 - 5 of 16
- Name:
- Addendum- Snapshot diagrams.pdf
- Size:
- 769.31 KB
- Format:
- Adobe Portable Document Format
- Description:
- Name:
- Lecture 1- Static checking.pdf
- Size:
- 872.01 KB
- Format:
- Adobe Portable Document Format
- Description:
- Name:
- Lecture 2- Test-first programming.pdf
- Size:
- 981 KB
- Format:
- Adobe Portable Document Format
- Description:
- Name:
- Lecture 3- Specifications.pdf
- Size:
- 1.04 MB
- Format:
- Adobe Portable Document Format
- Description:
- Name:
- Lecture 4- State machines.pdf
- Size:
- 1.12 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: