|Parish | Peculiar | Pedantry | Personal | Photos | Plateways | Positronics | Post | Professional | Programme | Programming | Places|
Welcome to CSE4213! This home page should be your first port of call for any information specific to this subject. If the information you seek is not here, drop me a note and I'll endeavour to fix it for you.
This subject has a Handbook Entry on the web. It also has an Anonymous Feedback Page.
CORRECTION! The animation scripts with embedded minus signs
in their names don't work. Use these ones instead.
The easiest way to incorporate these into your system is
Please note the assignment submission page at http://www.csse.monash.edu.au/subjects/assign_submit.html , which details information relating to the submission of assignment work, particularly the requirement that the deadline is 12noon on the date concerned.
Students should consult University materials on cheating, in particular:
At this stage, there is no FAQ
The course follows the text (as time permits):
J.B.Wordsworth, Software Engineering with B, first edition, Addison-Wesley, 1996.
There are two copies of this text in the Hargrave on overnight loan. You may also find Wordsworth's earlier book Software Development with Z useful, as it covers the same examples, but using the earlier (but related) specification notation Z. There are 4 copies of this book in the Hargrave, one on overnight, the others on weekly loan.
|Document Number||Document Title and Link|
|05||Concise Summary of B Toolkit (no on-line version available)|
As software bugs multiply, questions arise
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.
|20030527:110419||1.4||ajh||News item about sample exam papers|
|20030513:083846||1.3||ajh||News items about animation|
|20030429:075552||1.2.1||ajh||added link to risks story|
|20030303:144239||1.1||ajh||added document list|
|20030122:120848||1.0||ajh||Initial Version, developed from 2002 CSE4213 Home Page|
|This page is copyright, and maintained by John Hurst.||0 accesses since
21 Apr 2019
(Note that these are only accessible on my local network.)
112 accesses since 19 Jan 2019, HTML cache rendered at 20190423:0130