Lecture notes about models and frameworks. Models are mathematical abstractions of a system. Frameworks are qualitative abstractions for analyzing a system.