Wednesday, January 20, 2010

"A genius writes code an idiot can understand, while an idiot writes code the compiler can't understand. " (Anon )

Investigation into the teaching of B worldwide

Investigation into the teaching of B worldwide



 
  The Questionaire
 
Where is B taught  ?
We would like to update the investigation carried out over a year ago by Marie Laure Potet.
Please fill in the following questionaire and return it to us.



University: B is taught in the following departments, on the following courses,
in the following years:
[So we can store as triples (Department, Course, year)]
Department: (E.g. Computer Science)
Course: (E.g. BSc Computer Science)
Year: (E.g. 1st, 2nd)
Duration of Course in lecture hours (e.g. 20 hours)
Do you use a tool? (If so which one?):
How long do the students spend using the tool in the lecturers presence?: (E.g. 20 hours)
Is B used in assignments (outside normal teaching hours)?:
What is the relation between the teaching of B and the teaching of mathematics and logic for IT:
Under which discipline is B taught (e.g. software engineering, programming etc.):
Name of course contact:
Email address:
Type of assessment (e.g. supervised project, group project, machine-based exam):
Have you written course notes?:
Would you be prepared to share them with colleagues?:
-------------------------
The responses to this questionaire have been provided by:
Surname:
First Name:
Postal Address:
E-mail Address:
They are correct as of the date:
--------------------------
Please circulate to other interested parties.
H. Habrias.
We will send an analysis of the results of the questionaire to everyone who has filled one in.
The information provided will be available from one or several web sites. If you do not want your information to be made publicly
available then please do not provide it.
We abide by the freedom of information act.
Completed questionaires (and any questions) should be addressed to:
Henri Habrias
henri dot  habrias  at univ-nantes dot fr

The answers (2002 !)

http://www.lina.sciences.univ-nantes.fr/coloss/members/habrias/coursb/RepEnqueteFin06.html

Monday, January 4, 2010

Modeling in Event-B

 
Modeling in Event-B
System and Software Design
Jean-Raymond Abrial
Swiss Federal University (ETH), Zürich
Hardback
 (ISBN-13: 9780521895569)
Not yet published - available from June 2010
 (Stock level updated: 12:41 GMT, 04 January 2010)
c. £60.00

http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569
http://www.event-b.org/abook.html