Themes and variations
1
terminology
-- all phrases
object computation
-- message passing
contracts
-- for constructing and validating software
slide
:
Section 1.1: Themes and variations