Thank you for all the feedback that your provided. We got 28 items -
large and small - and will shortly start incorporating them into the
As we got no objections, we will continue with the third iteration as
outlined in the current version of the DoW . In this iteration, we
will slowly switch from content generation/migration to quality improvement.
To be sure, there is still content that has to be produced: There are
still a number of gaps (marked by \marginpars) that we will fill. This
will take a significant amount of the iteration's time.
But we will also start improving the quality: We will straighten the
structure, add copy that provides continuity and build up the index.
And Joy Clark, our English native editor, will continue to copy edit all
We will also get external feedback. A group of seven students just
finished a 5-day class that taught B (not Event-B). We gave them an
Event-B project as a term project  (the first milestone being in
November). In other words, we have a group of smart students that
barely know B and don't know Event-B at all, perfect for the job at
hand. We instructed them to leave plenty of feedback, and we will
follow-up with a questionnaire after they complete the first milestone.
If we get no objections, then we will also soon remove the migrated
content from the Rodin Wiki, and create a tighter integration between
the Wiki and the handbook. We definitely want to make sure that people
find the information they are looking for.
Michael Jastram (http://www.jastram.de, +49 (162) 274 83 94)
Geschäftsführer, Formal Mind GmbH (http://formalmind.com)
Wissenschaftler, Heinrich Heine Universität Düsseldorf (http://www.stups.uni-duesseldorf.de)
1. Vorsitzender, rheinjug e.V. (http://www.rheinjug.de)