CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

Tutorials

From CoFI

CoFI Tutorials and Courses

Some presentations of Casl, available in various formats for use in tutorials and courses, are listed below. They all assume that the audience is already familiar to some extent with the fundamental concepts of algebraic specification.

Unless otherwise indicated by copyright information in the documents themselves, modified versions may be made for personal use, but not distributed (except by written permission from the author).

Gentle Introduction to Casl:
http://www.lsv.ens-cachan.fr/~bidoit/CASL/

This set of 160 slides gives a detailed introduction to writing specifications in Casl, based on material from the Casl User Manual. Preliminary versions have been presented during the CoFI Day at ETAPS 2000 and as a tutorial at ETAPS 2001. Duration: 2.5 hours minimum.

Casl Tutorial:
http://www.informatik.uni-bremen.de/~roba/tutorial.ps

This set of 47 slides was given, together with a demostration of Casl Tools, at Lfm2000. The running example is the specification of an interpreter for a simple programming language. Duration: 1/2-day, including tool demonstration.

Guided Tour of the Casl Design:
Presentations/GuidedTour/

This set of 84 slides gives a detailed presentation of CASL (v1.0). The slides were originally written for use at a half-day tutorial on Casl, given at ETAPS'98; a revised version was presented during the CoFI WG event at FM'99. The presentation covers the Casl language design (not how to use Casl) and is far too detailed for presenting Casl to potential users. Duration: 3 hours minimum.

Overview of the Casl Design:
Presentations/Overview/

This is a cut-down version of the Guided Tour with only 42 slides, omitting the systematic presentation of individual language constructs and the details of the semantic foundations. Duration: 1.5 hours.

Slang Examples:
Presentations/SlangExamples/

These 9 slides show how some examples in Slang (the specification language of Specware) may be written in Casl. Duration: approx. 30 minutes.

Obsolete versions of presentations are no longer available.

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/Tutorials"

This page has been accessed 19,537 times. This page was last modified 11:15, 4 December 2008.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...