Some Software Engineering Ideas
This section introduces some ideas employed in developing larger, more complex programs
Invariants
UML
Test-driven development
(next)