CIS 6614 Lecture -*- Outline -*- for introduction

	meeting 1
* alloy
        basic use of Alloy for modeling and detecting semantic bugs

* developing-model
        developing a model of eCommerce in Alloy