[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Minutes of the CoFI Methodology meeting in Berlin
Dear CoFI friends,
Please find below the minutes of the CoFI methodology meeting held in
Berlin on April 1st. Please note that these minutes are followed by two
announcements.
Best regards,
Michel Bidoit
CoFI Methodology Task Group Coordinator
==============================================================================
Minutes of the CoFI Methodology Meeting
Berlin, April 1st, 2000
List of participants (arbitrary order):
---------------------------------------
Michel Bidoit (chair). Pascale Le Gall, Agnes Arnould, Michael Kohlhase,
Serge Auxieter, Horst Reichel, Bernd Krieg-Brückner, Mark Van den Brand,
hubert Baumeister, Till Mossakowski, Markus Roggenbach, Hélène Kirchner,
Piotr Hoffman, Bertek Klin, Magne Haveraaen, Giuseppe Scollo, Don Sannella,
Christine Choppy, Heinrich Hussmann, Maura Cerioli, Gianna Reggio, Andrzej
Tarlecki.
1. CASL User Manual:
--------------------
Significant progress has been made for the preparation of the forthcoming
CASL User Manual (and CASL Electronic Tutorial).
The current outline of the CASL User Manual has been used for the
example-driven CASL tutorial given on April 1st during the morning session.
NOTE: The slides used for the tutorial and the handout version are
available at www.lsv.ens-cachan.fr/~bidoit/CASL/ (gzipped postscript).
Comments and feedback are welcome, preferably before April 25th.
2. CASL case studies:
---------------------
It has been decided to start a Web repository of CASL case studies and
examples. Hubert Baumeister volunteered and has already installed the Web
page. See the announcement at the end of this mail.
The following people have tentatively volunteered for contributing to the
CASL case study repository Web site: Bernd, Don, Christine,
Christine+Gianna, Horst, Pippo, Hubert+Didier, Pascale, Michel.
3. Presentation by Till of his note "How to write consistent design
specifications in CASL" (see announcement at the end of this e-mail):
-----------------------------------------------------------------------
The presentation raised several issues, and in particular the relationship
between CASL specifications and programs, that were discussed during the
meeting. People are invited to pursue the discussion by e-mail with the
author.
4. Discussion on "How should we teach students to use CASL" animated by Magne:
------------------------------------------------------------------------------
People are again invited to contribute to this issue by e-mail exchanges
with Magne.
[end of minutes]
==============================================================================
ANNOUNCEMENT #1:
================
Call for Contributions
In the CoFI-Methodology meeting at ETAPS'2000 in Berlin it was decided
to have a repository of CASL specifications on the web. This web site
is now available at
http://www.informatik.uni-muenchen.de/~baumeist/CoFI/case.html .
I am now 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, or 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
(http://www.loria.fr/~hkirchne/CoFI/Tools/index.html).
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.
--
Hubert Baumeister, LMU M"unchen, Institut f"ur Informatik
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2178-2177 * fax -2175
==============================================================================
ANNOUNCEMENT #2:
================
Dear friends,
I have written a new study note
How to write consistent CASL design specifications
which is meant as a basis for the talk with the same title
at the CoFI methodology meeting in Berlin.
It is available at
http://www.brics.dk/Projects/CoFI/Notes/M-8
ftp://ftp.brics.dk/Projects/CoFI/Notes/M-8
Greetings,
Till
-----------------------------------------------------------------------------
Till Mossakowski Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till@informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------