Re: Agenda for Methodology Task Group Meeting in Cachan

[reggio@disi.unige.it (Gianna Reggio)]

Dear CoFI friends,

>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

since in my opinion  the two above points are really relevant
it would  be nice if the partecipants to the meeting start to think to them
and arrive to the meeting with a list of suggestions; it may be still
better to get case studies/examples originally  made  using something
different from algebraic specifications

Best reagards
  Gianna
--
As both the moderator of this mailing list and organizer of the CoFI Task
Group meeting on Methodology, I would like to ask explicitely all authors
of previous Methodology Notes to come to Cachan ready for a "Users's
manual" oriented presentation of their notes. Indeed, one of the main tasks
to be started is the writing of user oriented guidelines related to the
following topics:
* partial fonctions, strong and existential equalities (when to use which?)
* predicates versus boolean functions.
* subsorting.
* data type definitions.
* generic specifications, views.
* architectural specifications.

Best regards,
  Michel Bidoit