CSE4213 Home Page

CSE4213 Formal Methods in Software Engineering Home Page

Quick Links | News | Contact Details | Learning Resources | Problems

Quick Links

HelpDesk Bookings
Anonymous Feedback Page
MUSO Page

News

20070601:112142

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).

20070523:182330

Following successful negotiations with the Melbourne Racing Club, Exams Branch is pleased to advise that all students who currently hold a Monash parking permit will be exempt from paying a $6 parking fee at the Caulfield Racecourse during the Semester One 2007 examination period.

The racecourse is well served by train, bus and tram services, and students are encouraged to consider the advantages of travel to their examinations via public transport. However, the following car parking arrangements will apply during the examination period:

• Students who currently hold a "Caulfield" campus parking permit will be required to continue parking in the Guineas Car Park as per their current arrangements
• All other students with a Monash PARKING PERMIT -- are to park in the Kambrook Rd Car Park. Permit holders will enter free of charge. Entry is via Station St, refer to the map at http://www.monash.edu.au/exams/carparking-at-caulfield-racecourse.html
• Students who DO NOT have a Monash Parking Permit are to park in Member No.1 car Park and will be required to pay a fee of $6, per visit. Entry to this car park is via Smith St. Refer to the map at http://www.monash.edu.au/exams/carparking-at-caulfield-racecourse.html
• As there may be delays in entering car parks, students are advised to arrive early
• The exemptions listed above currently only apply to the semester one 2007 examination period
• Car parks close 30 minutes after the conclusion of the final exam for the day. Limited meter parking is also available on Normanby Rd
• Refer to Melways Map page 68 for directions to Caulfield Racecourse
• For further information on other transportation options for travelling to Caulfield Racecourse refer to "How do I get from Clayton Campus to Caulfield Racecourse for exams if I don't have a car?" at https://monash.custhelp.com

Should you have any queries regarding this message, please go to http://ask.monash.edu.au/ the on-line self help system or phone +61 3 99026011.

Exams Branch

20070523:175917

I have been asked to pass on a reminder to students in this unit that mobile phones are not permitted in examinations. The message is:

Important Reminder

No mobile phones allowed in exam

Possession of unauthorised materials in an exam is a discipline offence under Monash Statute 4.1.

Possession includes any items in your pockets, clothing, or on your desk or chair.

Mobile phones are to switched off and placed in your bag or on the floor.

Previous News Items

Contact Details

Lecturer and Unit Coordinator

Name

A/Prof John Hurst. You can call me "John" or "Prof Hurst" as you like, but "Mr Hurst" is deprecated .

Location

Room 123 in Building 63, Clayton campus (Tuesdays and Thursdays).

Room 110 in Building 3b, Clayton campus (Mondays and Wednesdays).

Room 7.78 in Building H, Caulfield campus (Fridays).

(but it is always best if you ring first to check - Presidential duties mean that I am often somewhere else!)

Phone

(03) 990 55192
04 0756 9041 (mobile)

Email

John.Hurst at infotech dot monash dot edu dot au (preferred method of contact)

Web Page

John Hurst's Home Page. Note in particular the link to John Hurst's Appointments Schedule, which is useful if you want to know when I am likely to be in my office. You can also make appointments to see me from this page. Note that I am usually at Caulfield on Fridays.

Consultation Hours (building 63, room 123)

1100 Tuesdays (preceeding the lecture)
1000 Thursdays
The Tuesday and Thursday times are "hard coded" into my timetable. However, I run an "open door policy", meaning that if my office door is open, you are free to approach me with any problem you might have. At other times, feel free to make an appointment through my Appointments Page. Note that my office location can vary at short notice from the times posted in Location above.

Tutors and Demonstrators

Name

John Hurst. See under lecturer for details.

See separate page for contact details

Learning Resources

See also the school information page

Lectures

The lectures will be held at 12noon in R6 on Mondays and 12noon in S1 on Tuesdays.

The lectures are based upon a set of slides kindly supplied by A/Prof Ken Robinson, of the University of New South Wales (my alma mater) and available on-line. The text book, The B-Method, by Steve Schneider, is also used to support the lecture content.

Each lecture has an index page (accessed by clicking the date entries in the following table) which gives links not only to the slides used in lectures, but also to more compact forms, as well as plain paper note form. The latter is the most economical form for printing. Links under "Topics" are to the slides used in lectures.

Please bear in mind that at the time of writing, not all materials to be used in the lectures have been identified. This page will be updated regularly to reflect past practice, current happenings, and future intentions. Lines in red represent completed activities.

Note that the lecture timetable has been restructured so that dates are links to the lecture index page, and the topics are links to the presentation slides.

Tutorials

Tutorials start in week 1. You will be required to register for a tutorial through Allocate+. The tutorial is scheduled for Mon 1300-1400 in Krongold Centre room KG23. (Lecturer access only: Allocate Admin, TCUP access)

Tutorials will provide an opportunity for more interactive learning than is possible in either lectures or lab sessions. Tutorial questions will be made available through this web page, and you are encouraged to prepare responses to these questions before attending the tutorial session.

An attendance roll will be kept, including details of who participated in discussion. This roll may be used in borderline cases to improve a student's mark (but never downgrade it).

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

There are three assignments, each worth 20%, and one 2 hour examination paper, worth 60%.

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:

1. Student Resource Guide - section on Student Rights and Responsibilities at http://www.monash.edu.au/pubs/handbooks/srg/srg0059.htm
2. Student Resource Guide at http://www.monash.edu.au/pubs/handbooks/srg/, particularly the section on Cheating at http://www.monash.edu.au/pubs/handbooks/srg/srg0071.htm
3. Faculty policy at http://www.infotech.monash.edu.au/facboard/policies/academiccheat.html
4. Statute 4.1 on Discipline at http://www.monash.edu.au/pubs/calendar/statutes/statutes04.html

Note that assignments are to be submitted through MUSO. All files associated with the submission should be placed in a tar file, and this tar file should be the sole submission file. The file must be named <your student id>.{tar.zip} Alternatively, you may submit a single pdf file containing all your work. The file must be named <your student id>.pdf.

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

Other Links

1. Why Design Software?
2. some helpful set theory pages
3. 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.

Document History

Document History (Lecturer_Details)

Document History (Tutorials)

Document History (Assessment_Discussion)

Document History (Assessment_Schedule)

This page maintained by John Hurst. Copyright Monash University Copyright Policy	2778 accesses since 26 Feb 2007
Generated at 20090702:2017 from an XML file modified on 20070601:1125 Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

3000 accesses since 26 Feb 2007, HTML cache rendered at 20091124:0019