|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/discussion.xml#xpointer(//subpart/*)"
Including file "tutorials/schedule.xml#xpointer(//subpart/*)"
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|
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.
|20060425:150213||5.1.0||ajh||cancelled assignment 3|
|20060419:233513||5.0.10||ajh||moved some news items out|
|20060404:180935||5.0.9||ajh||added assignment 2|
|20060404:100204||5.0.8||ajh||modified news items and quick links|
|20060330:142335||5.0.7||ajh||added news item 20060330:141031|
|20060321:103738||5.0.6||ajh||update quick links|
|20060316:121747||5.0.5||ajh||update quick links|
|20060307:133532||5.0.4||ajh||update quick links|
|20060302:120456||5.0.3||ajh||update quick links|
|20060227:151347||5.0.2||ajh||add news item, update document numbers|
|20060225:181015||5.0.1||ajh||internal xml changes to correct courseware page|
|20060210:071431||5.0.0||ajh||added additional document history and changed Last Modified setup|
|20041210:075613||3.0.0||ajh||Initial Version, developed from 2004 CSE4213 Home Page|
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)"
|This page is copyright, and maintained by John Hurst.||0 accesses since
18 Jan 2018
(Note that these are only accessible on my local network.)
34 accesses since 28 Dec 2017, HTML cache rendered at 20180118:0901