From cd331c87ef95dd624e1698c7150020e3b5896348 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2013 13:36:56 +0000
Subject: [PATCH] - 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
---
org.rodinp.handbook.feature/latex/rodin-doc.tex | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index 9bcf3df..74abb53 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -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.
--
GitLab