Overview of Alloy approach to the use of models in software
development. Illustrates application of Alloy at both abstract
design and code design levels to a text tagging program.

Slides (colour)

Slides (black on white, two/page)