CSE4213 Home Page CSE4213 AJH-2007-00 CSE4213 Home Page CSE4213 Formal Methods in Software Engineering Home Page

Quick Links

HelpDesk Bookings
Anonymous Feedback Page


If anyone has submitted work for assignments 1 and 2 that do not appear to have been marked yet, would they please contact me? I have a number of assignments that have been submitted (either by email or memory stick) that have no identifying data on them, and I am unable to mark them (or at least attribute the marks to the correct person).

Previous News Items

Contact Details

Including file "contacts/lecturer.xml#xpointer(//subpart/*)"

Including file "contacts/tutors.xml#xpointer(//subpart/*)"

See separate page for contact details

Learning Resources

See also the school information page


Including file "lectures/index.xml#xpointer(//section[1]/subpart/*)"

Including file "lectures/index.xml#xpointer(//LectureTimetable)"


Including file "tutorials/index.xml#xpointer(//section[1]/subpart)"

Including file "tutorials/index.xml#xpointer(//TutSchedule)"

Lab Classes

There are no formal lab classes in this unit: however, students are expected to spend a significant amount of time in the sng labs using the B Toolkit.


Including file "assessment/discussion.xml#xpointer(//subpart/*)"

Including file "assessment/schedule.xml#xpointer(//subpart/*)"


At this stage, there is no FAQ


The course follows the text (as time permits):

Schneider, S.,
The B-Method: An Introduction,
first edition, Palgrave, 2001.
Why is this picture such an interesting pun? The name has one obvious connection. What is the other? What is so interesting about the date? And where was the picture taken?
A bonus mark for the first correct answer to each question.
Discussion on the Anonymous Feedback Page please!

There are two copies of this text in the Hargrave on overnight loan. You may also find Wordsworth's earlier book Software Development with B useful. There are 2 copies of this book in the Hargrave, one on overnight, the others on weekly loan.

Reference Documents

Document Number Document Title and Link Document Number Document Title and Link
2007-00 Home Page (this page) 2007-01 About This Unit
2007-02 Assessment Details 2007-03 Examination Details
2007-04 Resource Details 2007-05 Lecture Details
2007-06 Assignment 1 2007-07 Concise Summary of B Toolkit
2007-08 Tutorial Details 2007-09 Exercises 1
2007-10 Lecture 01 2007-11 Lecture 02
2007-12 Lecture 03 2007-13 Lecture 04
2007-14 Lecture 05 2007-15 Lecture 06
2007-16 Lecture 07 2007-17 Lecture 08
2007-18 Lecture 09 2007-19 Lecture 10
2007-20 Lecture 11 2007-21 Lecture 12
2007-22 Assignment 2 2007-23 Lecture 13
2007-24 Lecture 14 2007-25 Lecture 15
2007-26 Lecture 16 2007-27 Lecture 17
2007-28 Lecture 18 2007-29 Lecture 19
2007-30 Assignment 3 2007-31 Lecture 20
2007-32 Lecture 21 2007-33 Lecture 22
2007-34 Lecture 23 2007-35 Lecture 24
2007-36 Lecture 25 2007-37 Lecture 26

Other Links

  1. Why Design Software?
  2. some helpful set theory pages
  3. Can Software Kill You?
  4. The Top 10 IT Disasters of all time

Useful URLs for this unit will be added here.

If you find a useful URL, please send it to John Hurst, so that others can check it out as well.


Got any problems? You can post questions, comments, feedback to the CSE4213 Anonymous Feedback Page. You can use the page anonymously, but it is preferred (and your comments carry more weight) if you use your name or nickname on them.

Document History

20071202:114355 6.0.11 ajh link to top 10 disasters
20070704:142613 6.0.10 ajh updated news items
20070507:093635 6.0.9 ajh new notices about power outage and lecture rearrangement
20070426:192916 6.0.8 ajh new notices about email and assignments
20070404:083846 6.0.7 ajh add notice about moving offices, and assignment 2
20070327:163440 6.0.6 ajh link to resources page in notices
20070321:111536 6.0.5 ajh notice re absence on 22 Mar
20070306:144918 6.0.4 ajh updated news items
20070306:092732 6.0.3 ajh added quick link to HelpDesk
20070227:155208 6.0.2 ajh add docs 10,11,12,13 (lecture pages), and note about cancelled tutorial.
20070226:100928 6.0.2 ajh add docs 07,08,09
20070220:121558 6.0.1 ajh add doc 06, assignment 1
20070130:165501 6.0.0 ajh initial page for 2007

Including file "contacts/lecturer.xml#xpointer(//DocumentHistory[@title='Lecturer_Details'])"

Including file "tutorials/index.xml#xpointer(//DocumentHistory)"

Including file "assessment/discussion.xml#xpointer(//DocumentHistory)"

Including file "assessment/schedule.xml#xpointer(//DocumentHistory)"

This page is copyright, and maintained by John Hurst. 0 accesses since
13 May 2019
My PhotoMy PhotoTrain Photo

Local servers: Localhost Newport Burnley Everton Hamilton Bittern Spencer (Note that these are only accessible on my local network.)
Public Web Servers: Hurst Server/ajhurst.org Home Server/ajh.co Internode Server (In order of preference; not all of these may be active.)
Dynamically generated at 20190513:0756 from an XML file modified on 20071201:1944.

16 accesses since 04 May 2019, HTML cache rendered at 20190521:0407