First two CASL Case Studies on the Web

[Hubert Baumeister <baumeist@informatik.uni-muenchen.de>]

Dear all,

this is to announce the availability of the first two CASL case studies on the
Web page for CASL
Case Studies (http://www.informatik.uni-muenchen.de/~baumeist/CoFI/case.html). 

The first one is by Markus Roggenbach about an "Executable Specification of an
Interpreter", and the
second one is by Didier Bert and me about "The Specification of a Warehouse".

I also would like to remind you that if you have some CASL case studies to
share, you should send
them to me following the instructions on the above mentioned Web page.

Thanks,	
	Hubert Baumeister

-- 
Hubert Baumeister, Institut f¸r Informatik, Universit‰t M¸nchen
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2178-2177  * fax -2175