|Parish | Peculiar | Pedantry | Personal | Photos | Plateways | Positronics | Post | Professional | Programme | Programming | Places|
Anonymous Feedback Page
Including file "contacts/lecturer.xml#xpointer(//subpart/*)"
Including file "contacts/tutors.xml#xpointer(//subpart/*)"
See separate page for
See also the school information page
Including file "lectures/index.xml#xpointer(//section/subpart/*)"
Including file "lectures/index.xml#xpointer(//LectureTimetable)"
Including file "tutorials/index.xml#xpointer(//section/subpart)"
Including file "tutorials/index.xml#xpointer(//TutSchedule)"
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):
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.
|Document Number||Document Title and Link||Document Number||Document Title and Link|
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.
|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
15 Aug 2018
(Note that these are only accessible on my local network.)
329 accesses since 28 Dec 2017, HTML cache rendered at 20180819:2308