CS 342 Lecture -*- Outline -*-

* Algebraic view of design
	a computer system is an abstract data type (ADT)

** Abstract data type
	state (perhaps several objects) + commands (operations)

** Formalization of design
	syntax (external interface, signature of each command)
	semantics (what commands do)
	pragmatics (how the system should be used, efficiency issues)