Dear Michael,
We grant the permission to reuse our respective contribution to the
Rodin/Event-B wiki.
We would like to be mentioned (name and company) somewhere in the
handbook as among the original Wiki contributors.
Moreover, we are interested in something like a (monthly?) summary of
the received feedback, either through the contact email or through the
feedback button, during the project.
Concerning what is going to happen after January 2012, I agree with your
suggestions; I have nothing better to propose at the moment.
Thank you. Regards,
Carine.
Le 23/07/2011 16:01, Michael Jastram a écrit :
> Hi Carine,
>
> These are good questions - here are my answers:
>
>> - Will the name and the company of the original Wiki contributors be
>> mentioned? In which form the information will be supplied?
>
> This is not planned. We will describe in the introduction how the
> documentation got developed (e.g. a mix of new content and modified
> Wiki content), with credit to all Wiki contributors as a whole.
>> - Will the contact email address be rodin-handbook@...
>> <mailto:rodin-handbook@...> or will it be
>> rodin-b-sharp-handbook@...? What about the feedback
>> button?
>
> The contact email is meant for feedback, while the Sourceforge list is
> for discussion. Until the end of the project (January 2012), the
> contact Email will be the one at formalmind.com. If we get feedback
> that suggests a discussion, we will repost it to the sourceforge
> list. The feedback button redirects to a form that adds the provided
> information to a Google Docs spreadsheet, which we will process on a
> regular basis while the project is ongoing.
>
> I assume that you wonder what's going to happen after Januar 2012.
> This is an open question at this point, and we were planning on
> bringing it up towards the end of the project. There are two options:
> either somebody gets the mandate to continue maintaining the
> documentation. In that case, we can keep the setup (potentially with
> a different email address). If there is no official maintainer, then
> we would in fact use the mailing list as the contact and redirect the
> feedback form to the Rodin Bug Tracker (which unfortunately doesn't
> support prepopulating forms).
>
> If you have suggestions on how to improve on this, just bring it up!
>
> Best,
>
> - Michael
>
>
> --
> Michael Jastram (http://www.jastram.de, +49 (162) 274 83 94)
> Wissenschaftler, Heinrich Heine Universität Düsseldorf (http://www.stups.uni-duesseldorf.de)
> 1. Vorsitzender, rheinjug e.V. (http://www.rheinjug.de)
>
>
>
> ------------------------------------------------------------------------------
> Storage Efficiency Calculator
> This modeling tool is based on patent-pending intellectual property that
> has been used successfully in hundreds of IBM storage optimization engage-
> ments, worldwide. Store less, Store more with what you own, Move data to
> the right place. Try It Now! http://www.accelacomm.com/jaw/sfnl/114/51427378/
>
>
> _______________________________________________
> Rodin-b-sharp-handbook mailing list
> Rodin-b-sharp-handbook@...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-handbook
--
------------------------------------------------------------------------
Carine PASCAL Tél. : (+33)(0)4 42 90 65 55
Responsable d'Activité "Sûreté de Fonctionnement, Evaluation et Audit"
SYSTEREL
------------------------------------------------------------------------
Standard / Fax : (+33)(0)4 42 90 41 20 / 29 site : http://www.systerel.fr
------------------------------------------------------------------------
|