1. Project Presentations
cs205: engineering software
university of virginia fall 2006
Course Summary
and
Project Presentations

2. Adapted from Gerard Holzmann’s FSE Slides
Abstraction
Adapted from Gerard Holzmann’s FSE Slides

3. Abstraction in CS205 Abstraction by Specification
Abstract away how by saying what a procedure does
Procedural Abstraction
Abstract away specific inputs from what is done
Data Abstraction
Abstract away representation details by specifying what you can do with something
Subtyping
Abstract away actual type details by allowing many types to be used in the same way
Concurrency
Abstract away (some) when details

4. Charge
Project Reports due tomorrow (unless you receive an from me after class today, will be sent before 2:30)
Final exams out at end of class today, due before 4:55pm Friday (drop off at my office)

5. Charge
Change the World!

6. Small, Simple Programs that Changed the World
eBay (P. Omidyar)
WorldWideWeb
(Tim Berners-Lee)
VisiCalc
(Dan Bricklin and Bob Frankston)
Smalltalk
(Adele Goldberg, Alan Kay, Dan Ignalls) ?
(Chad Hurley, Steve Chen, and Jawed Karim )
(Steve Huffman, Alexis Ohanian )
Napster
(Shawn Fanning
and Sean Parker)
(CS205 Student)

7. Project Presentations