In this course, students will learn: (i) How selected software systems can be analyzed to understand properties of their evolution; and (ii) interpret their implication.