FIT3013 Introduction to Event-B

LM1: Introduction to the B Method

Notice

Notice re FIT2044 Advanced Projects unit

HTML

slides

slides as given in lectures, with multiple slides per points

50 slides

notes

the slides reduced to note form, more suitable for printing

4 pages

HTML slides

some experimental slides, with multiple slides per points. These are generated using the Slidy HTML tool.

19 HTML 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.

We also review some slides on the Event-B Notation, kindly made available by Prof Jean-Raymond Abrial, the father of Event-B (and B, and Z!). These slides can only be accessed by using your Authcate username and password.

"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."

Document History

20080808:110146

7.0.2

ajh

revised directory names

20080707:094045

7.0.1

ajh

release version for 2008

20080413:165241

7.0.0

ajh

first version for 2008

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

225 accesses since
10 Aug 2008

Generated at 20090716:0038 from an XML file modified on 20080808:1809
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

155 accesses since 17 Jul 2009, HTML cache rendered at 20120512:1930

FIT3013 AJH-2008-06

Introduction to Event-B

LM1: Introduction to the B Method

Document History