[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Agenda for Methodology Task Group Meeting in Cachan
Dear Michel,
Michel.Bidoit@lsv.ens-cachan.fr wrote:
>
> Dear CoFI friends,
>
...
>
> The first two sessions on Methodology (Sat 7th afternoon) will be devoted
> to the production of a CASL User's Manual.
>
> Among issues to be discussed are:
> * Structure of CASL User's Manual
> * Style to be chosen
> * Concrete plans with volunteers to do the job
>
> To start the discussion, and following an informal meeting held in Dagstuhl
> last july, let me mention that:
> a) It is not totally obvious that strictly following the current structure
> of the Summary is adequate for a User's Manual. But then we need to clarify
> which structure is adequate !
> b) The expected level (style) of explanation should be carefully designed
> too. E.g. do we write a User's Manual for people having already a good
> experience in algebraic specification, or do we rather merge both algebraic
> specification and CASL user's manual ?
> c) Suggestion of relevant user's manual that we could look at (and perhaps
> choose as example/model) is welcome. Concrete ideas are needed !
>
> Please consider seriously the above issues. If you intend to assist to the
> meeting, then I would appreciate if you could come prepared with a few
> concrete suggestions. If you do not intend to attend the meeting, please
> send me directly your suggestions, which are wellcome as well.
We will have users who are interested in formal methods in general but
do not necessarily have a background in algebraic methods (whatever this
means nowadays). For example, the major German project on formal methods
VSE at DFKI (Saarbrücken) has just more or less decided to adopt CASL
and to cooperate with us in this (a representative may come to Paris).
They have, e.g., excellent induction provers, and a whole development
system.
> We should manage to have a draft version of the CASL User's Manual ready
> for the next ETAPS conference.
>
> The other sessions (Sunday morning) may be devoted to other issues relevant
> to our Task Group. E.g.:
> * choice of relevant illustrative case studies
> * library of meaningfull examples
> * architectural specifications
> * TBD
we need a presentation on architectural specifications! This would be my
first priority.
________________________________________________________________
Prof. Dr. Bernd Krieg-Brueckner courier mail only:
FB3 Mathematik und Informatik MZH 8071, FB3
Universitaet Bremen Universitaet Bremen
Postfach 330 440 Bibliothekstr. 1
D-28334 Bremen D-28359 Bremen
Telefon: (+49) 421-218-3660 telefax: (+49) 421-218-3054
bkb@Informatik.Uni-Bremen.DE privat: (+49) 421-25-1024
http://www.informatik.uni-bremen.de/~bkb
http://www.uni-bremen.de/~sppraum