Class Meeting: Formal Methods
Admin
- questions?
- Lecture next Tuesday from Duke
- How many using Perl?
- How many using Tcl/Tk?
- coming up... legal issues in software, intellectual property
- coming up... war stories from IBM, commerce on the Internet
Assignment
- Due next Thursday: tech manual
Notes
Formal Methods... an overview
What is "formal"?