congratulations!!!!!! This handbook is very good!!!! it's a real big step on helping RODIN usage!!!!
Aryldo G Russo Jr
Diretor de Pesquisa, Desenvolvimento e Inovação
ASQ/CRE - ASQ/CSSBB
On 18/03/2012, at 14:10, Michael Jastram wrote:
> Dear all,
> We are excited to announce the completion of the forth and last
> iteration on the Rodin handbook. The focus of this iteration was
> polishing and processing of feedback. You can find the result at
> We processed all 123 feedback items that we received through the
> feedback form. In addition, we analyzed the results from the user
> study, a group of students who went through a B seminar (not Event-B),
> who had to complete a project in Event-B.
> All this resulted in a large amount of polishing, as well as some
> significant rewriting. In particular, we rewrote Chapters 2.9 and 2.10
> from the tutorial and had a student work through these chapters to
> confirm that they were clear.
> The reference section still had some gaps at the end of the previous
> iteration, and these have been filled.
> In addition to another editorial review of the complete handbook, we
> authored more text to hold the handbook together. This also includes a
> foreword by Michael Butler and a preface, as well as some artwork for
> the PDF-Cover and the HTML entry page.
> The handbook is now part of the Rodin distribution. This means that the
> complete handbook is available for offline use through the Eclipse Help
> system. Once the iteration review is over, we will publish another
> update, so that existing Rodin 2.4 installations can update their
> handbook (automatically through the Eclipse update mechanism).
> We will now enter a two-week review phase until the end of March. We
> encourage you to take advantage of this time. You can either use the
> feedback form (the link is now less prominent), via email or by
> discussing on the mailing list.
> We are proud of what we produced with the available resources, and we
> hope that you are happy with the outcome.
> Best regards,
> - Michael
> 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)
> This SF email is sponsosred by:
> Try Windows Azure free for 90 days Click Here
> Rodin-b-sharp-user mailing list