Call for Contributions

To this end I am looking for CASL specifications of any size, ranging from small student exercises to larger case-studies, to put into this repository.

If you have CASL specifications that you want to contribute, please send an e-mail to baumeist@informatik.uni-muenchen.de with a subject starting with '[CASL]' and with the following information:

Title:

A descriptive title of the specification.

Authors:

The author(s) of the specification together with a contact (e-mail, snail address, etc.)

Description:

• Information on the purpose of the specification. For example, was it used in an industrial project, or given as an exercise to students, etc..
• Information about the contents of the specification, e.g. what was specified and how; what features of CASL were used.
• Any comments you think are of interest to other users of CASL.

checked/not-checked:

Has the specification been parsed successfully? A list of parsers is available at the CASL Tools web site.

The document:

Provide either a URL (or FTP address) to the specification and to the text documenting the specifications, or send the files as an attachment to me. If you send references, please state if I should install them on our web server, or if you prefer to have a link to your documents. The default will be to link the documents.