Model-Driven Engineering is a discipline based around the use of structured and precise models to support engineering processes. These models are expressed in languages that are, by definition or construction, supported by tools. The tools enable construction of sound (well-formed) models, analysis of models, transformation of models, and many other tasks. In this series of lectures, we will study the principles of Model-Driven Engineering, the construction process of models, and will investigate the different kinds of model transformations that underpin engineering processes. We will also consider how using Model-Driven Engineering and model transformations both helps and hinders the process of building dependable software systems, in terms of challenges associated with managing dependencies and verification.