
Plagiarism policy
Plagiarism policy should also add a narrative in the report to explain any schema or logic that you have used. Schema should be annotated. Authorship should be made clear.
You will be asked to explain and answer questions about your work in a presentation – which will be scheduled at a suitable time – in either labs or lecture.
Submission
Your assignment should be completed according to the Guides to your assessments
Using the link provided in Moodle, please upload the following in one zip file as directed by your lecturer.
Name your zip file in the following manner:
<GivenName_FAMILY-NAME>_<ID>.zip
e.g. Aravind_ADIGA_30301234.zip
The assignment must be submitted electronically through the Moodle assignment system in Microsoft Word document format, rtf format or as a pdf document. If you are unable to provide one of these formats please contact your lecturer/tutor by email prior to submission to ensure that they will be able to handle the alternative format.
To alleviate any problems with fonts and symbols for the Z specification all students must use the Zed true type font that is available on Moodle. Note this zip file has both true type and Adobe Type Manager files for both Windows and Macintosh machines. Please make sure you use the true type font. The archive contains a Readme.txt file that explains how to install the font.
CRICOS Provider No. 00103D ITECH7410 Assig 2 Sem 1 2017-07 Page 5 of 7
Feedback
Assessment marks will be made available in fdlMarks, feedback to individual students will be provided via Moodle or as direct feedback during your tutorial class
Plagiarism:
Plagiarism is the presentation of the expressed thought or work of another person as though it is one’s own without properly acknowledging that person. You must not allow other students to copy your work and must take care to safeguard against this happening. More information about the plagiarism policy and procedure for the university can be found at:
Plagiarism policy
Your support material must be compiled from reliable sources such as the academic resources in Federation University library which might include, but not limited to: the main library collection, library databases and the BONUS+ collection as well as any reputable online resources (you should confirm this with your tutor).
Federation University General Guide to Referencing:
The University has published a style guide to help students correctly reference and cite information
they use in assignments. A copy of the University’s citation guides can be found on the university’s
web site. It is imperative that students cite all sources of information. The General Guide to
Referencing can be purchased from the University bookshop or accessed online at:
Suggested References:
Weeks 4 and 5 study materials and Section 4 of study Guide 3
The Z Notation: A Reference ManualUsing Z http://www.comlab.ox.ac.uk/igdp/usingz Sections 21.5, 21.6 and 21.7 from Pressman 7th Ed.
Solutions for Problem 2 of Week 6 tutorial problems
Introduction to Z Notation –
CRICOS Provider No. 00103D ITECH7410 Assig 2 Sem 1 2017-07 Page 6 of 7
Marking Criteria
Group Name: __________________ | ||||||||
Student ID: | Student name: | |||||||
other members in the group | ||||||||
Student ID: | Student name: | |||||||
Student ID: | Student name: | |||||||
Task | Mark | |||||||
Z Schema Operations | Init | 8 | ||||||
Enter_new_silo_account | 8 | |||||||
Schema = 4 marks | ||||||||
Concise & correct | Accept_delivery | 8 | ||||||
Notation & logic correct | Leave_queue | 8 | ||||||
Schema Annotations = 4 marks | Silo_account | 8 | ||||||
Relevant, concise & clear | ||||||||
Ships_total_account | 8 | |||||||
Farmers_account | 8 | |||||||
1. Evidence that system works correctly – included in report | 14 | |||||||
2. Report – adheres to the FedUni guidelines for the presentation of academic work | 10 | |||||||
3. Presentation – discuss your contribution – development & testing, answer questions about the | 20 | |||||||
system | ||||||||
Total | 100 | |||||||
Final | /20 | |||||||
Comments | ||||||||