| Last modified: 20070221:135208/first version for 2007 | CSE4213 AJH-2007- |
Lecture 1: Introduction to the B Method
Introduction to the B Method
Introduction to the B Method
| presentation | slides as given in lectures, with multiple slides per points | 48 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 15 pages |
| notes | the slides reduced to note form, even more suitable for printing | 4 pages |
In this lecture, we give an overview of the need for specification, its role in testing, a comparison with traditional engineering disciplines, and some real life examples of how B has been used in practice.
A comment from The Vice-Chancellor's latest Ancora Imparo column.
"The traditional role of lectures in imparting knowledge is now a much less important component of university education. We must focus more on principles and concepts rather than on imparting detailed factual information and on higher order generic skills such as problem analysis and problem solving, communication, teamwork and oral and written communication. These are the skills that employers are seeking in our graduates. They will be developed by more active involvement of students in their own education and learning in a research-rich environment."
next lecture
Document History
| 20070221:135208 | 6.0.0 | ajh | first version for 2007 |
