Quick Links
News
No news today
Contact Details
Including file "contacts/lecturer.xml#xpointer(//subpart/*)"
Including file "contacts/tutors.xml#xpointer(//subpart/*)"
See separate page for
Learning Resources
See also the school information page
Lectures
Including file "lectures/index.xml#xpointer(//section[1]/subpart/*)"
Including file "lectures/index.xml#xpointer(//LectureTimetable)"
Tutorials
Including file "tutorials/discussion.xml#xpointer(//subpart/*)"
Including file "tutorials/schedule.xml#xpointer(//subpart/*)"
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.
Assessment
Including file "assessment/discussion.xml#xpointer(//subpart/*)"
Including file "assessment/schedule.xml#xpointer(//subpart/*)"
FAQ
At this stage, there is no FAQ
Texts
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 |
|---|---|
| 00 | |
| 01 | |
| 02 | |
| 03 | |
| 04 | |
| 05 | |
| 06 | |
| 07 | |
| 08 | |
| 09 | |
| 11 | |
| 12 | |
| 16 | |
| 17 |
Other Links
- some helpful set theory pages
- Can Software Kill You?
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.
Problems
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.
| 20070130:165501 | 6.0.0 | ajh | initial page for 2007 |
Including file "contacts/lecturer.xml#xpointer(//DocumentHistory[@title='Lecturer_Details'])"
Including file "lectures/index.xml#xpointer(//DocumentHistory[@title='Lecture_Discussion'])"
Including file "lectures/index.xml#xpointer(//DocumentHistory[@title='Lecture_Schedule'])"
Including file "tutorials/index.xml#xpointer(//DocumentHistory[@title='Tutorial_Discussion'])"
Including file "tutorials/index.xml#xpointer(//DocumentHistory[@title='Tutorial_Schedule'])"
Including file "assessment/discussion.xml#xpointer(//DocumentHistory)"
Including file "assessment/schedule.xml#xpointer(//DocumentHistory)"
