Slide 1 272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lectures 5, 6, and 7: Alloy and Alloy Analyzer Slide 2 Object Oriented Modeling with UML UML is an object…
