Introduction to Alloy

Contents

Home

XQuery course, May 2013

XForms course, May 2013

Tools

Blog - The view from Black Mesa

Mailing lists

Slides

About Michael Sperberg-McQueen

About Black Mesa Technologies LLC

Other Black Mesas

Contact

Taking modeling seriously

Lincoln

15 July 2013

Outline of the course

  1. Introduction (PDF, HTML)
  2. Alloy's first-order logic (PDF, HTML)
  3. Quantification and relations (PDF, HTML)
  4. Advanced topics, conclusion (PDF, HTML)

26 June 2013