[stellation-res] Specification examples posted

["Mark C. Chu-Carroll" <markcc@xxxxxxx>]

I've added some information to the specifications discussion on the
wiki, including some samples of what Z and Alloy are like.

	-Mark


Mark Craig Chu-Carroll,  IBM T.J. Watson Research Center
*** The Stellation project: Advanced SCM Research
***      http://stellation.eclipse.org
*** Work: mcc@xxxxxxxxxxxxxx/Home: markcc@xxxxxxx



Mark Craig Chu-Carroll,  IBM T.J. Watson Research Center
*** The Stellation project: Advanced SCM Research
***      http://stellation.eclipse.org
*** Work: mcc@xxxxxxxxxxxxxx/Home: markcc@xxxxxxx