Skip to content
Snippets Groups Projects
Commit cd331c87 authored by Daniel Plagge's avatar Daniel Plagge
Browse files

- added acknowledgement to Abrial and the ETH

- added reference to Farhad Mehta's PhD thesis


git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15971 1434b563-b632-4741-aa49-43a3a8374d2e
parent bb6a7438
Branches
No related tags found
No related merge requests found
......@@ -212,7 +212,7 @@ The abstract states: ``[\ldots] we present the Rodin modelling tool that seamles
The authors J.-R.~Abrial, M.~Butler, S.~Hallerstede, T.~S.~Hoang, F.~Mehta and L.~Voisin have published the article in the journal Software Tools and Technology Transfer (STTT).
\subsection{The b-method, an introduction (Steve Schneider)}
\subsection{The B-Method, an Introduction (Steve Schneider)}
\label{schneider_book}
This text represents the ``standard textbook'' for learning formal modeling in B (rather than Event-B). As Event-B is similar to B, this book is a great introduction to the topic, allowing students to get acquainted with the subject matter, even without an instructor. (ISBN: 978-0333792841)
......@@ -221,6 +221,11 @@ This text represents the ``standard textbook'' for learning formal modeling in B
Those interested in more general guidelines on how to develop and structure formal models in Event-B, the paper ``Towards a Cookbook for Modelling and Refinement of Control Problems''\footnote{\url{http://deploy-eprints.ecs.soton.ac.uk/108/}} may be of interest. It is an ``attempt to develop some guidelines on modelling control problems in Event-B''.
\subsection{Proofs for the Working Engineer (2008)}
In his dissertation at the ETH Zurich Fahrad Mehta describes how theorem proving
can be a practical tool for an engineer and presented the ideas that are used
in building the fundament of Rodin.
\section{Conventions}
\label{conventions}
......@@ -240,6 +245,8 @@ We use \textsf{sans serif font} for GUI elements like menus and buttons. Menu a
The content of this handbook has been growing since the formation of the European Union IST Project RODIN in 2004. Giving credit to every contributor is almost impossible and attempting to do so would almost certainly omit some people, which would contradict the spirit of this work. It should be sufficient to say that we extend our gratitude to all contributors to the Rodin Wiki (\ref{rodin_wiki}). In particular, we would like to thank Systerel\footnote{\url{http://www.systerel.fr}} for their significant contributions to the handbook as they have been the main driver behind the tool and its documentation.
Jean-Raymond Abrial and the team at the ETH Zurich had a mayor influence in the development of Event-B and the Rodin project. Thank you very much!
We would also like to thank Cliff Jones, who never gave up the quest to improve the Rodin documentation, and Ken Robinson, who contributed the \file{EventB-Summary.pdf}{Event-B Cheat Sheet}.
We are grateful to the editorial team that made this book possible in the first place, consisting of Daniel Plagge, Lukas Ladenberger and Joy Clark. We also thank Prof. Michael Leuschel, department head of the institute of software technology and programming languages at the University of Düsseldorf, who supported us in pursuing this project.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment