Guide to Project for Supervisors
ITECH7410 Software Engineering Methodologies
CRICOS Provider No. 00103D ITECH7410 Assignment 2 - Group Page 1 of 3
Assignment 2 – Group
Formal Specification of a Li
ary System
Overview
This assignment provides students with the opportunity to apply the knowledge and skills developed
during the semester. Students work in small teams (3-4) for assignment 2, in which they complete a
formal specification for a li
ary system.
Timelines and Expectations
Due: Thursday May 30 @23:59 (week 11)
Percentage Value of Task: 20%
Minimum Time Expectation: more than 10 hours
Students will design, implement and test a specification for a system and answering questions relating
to the artifacts provided.
Learning Outcomes Assessed
The following course learning outcomes are assessed by completing this assessment:
Skills:
S1. Critically analyse and use complex decision making to research and determine the appropriate
Software Engineering tools and methodologies to utilize in a given situation.
S2. Apply professional communication skills to support and manage the engineering of a large software
system.
S3. Review, critically analyse and develop artefacts to define processes for quality assurance, risk
management and communication in large software development projects.
S4. Implement quality assurance activities in order to verify user requirements and validate design
decisions.
Application of knowledge and skills:
A1. Analysis of a large system development problem to decide upon the best methodological approach.
A2. Development of appropriate artefacts to support and manage the software engineering process such
as change control and configuration management.
CRICOS Provider No. 00103D ITECH7410 Assignment 2 - Group Page 2 of 3
Assessment Details
1. Students will need to develop schema that will model a li
ary - containing only books – and
e able to perform the following tasks:
• Add a book
• Add a bo
owe
• Delete a book
• Delete a bo
owe
• Lend a book to a bo
owe
• Return a book from a bo
owe
• Enquire about a book
• Reserve a book
• Enquire about a reservation
• Cancel a reservation
• Buy a Book
• Receive a Book
• Report of Books on Loan
2. The schema must be consistent and be shown to work using examples
3. Schema need to be annotated so that the Z statements are clearly expressed in plain
language
4. Write three (3) non-trivial predicate statements about your system; explain them and show
that they are true
Submission
Submit your specification, via Moodle, as a Word document labelled in the following way:
StudentID1_StudentID2 .docx
Attach all files that are needed (the report plus up to 4 files) in order to mark this assignment by your
lecture
tuto
CRICOS Provider No. 00103D ITECH7410 Assignment 2 - Group Page 3 of 3
Marking Criteria/Ru
ic
Task Marks
Statement of Completion (Abstract) – who did what 5
Functionality (10 items) 20
Annotation of Z statements in every schema 20
Demonstration that the system works and is consistent 15
Three (3) non-trivial predicate statements which are shown to be true 10
Report1 20
Presentation (at a suitable time). Each member presents and answers
questions. 5-7 min in total. 10
TOTAL /100
Final Grade /20
Feedback
Marks in fdlMarks, feedback to individual students via Moodle and feedback in 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 http:
federation.edu.au/students/learning-and-
study/online-help-with/plagiarism.
1 https:
federation.edu.au/cu
ent-students/learning-and-study/online-help-with/guides-to-your-assessments
http:
federation.edu.au/students/learning-and-study/online-help-with/plagiarism
http:
federation.edu.au/students/learning-and-study/online-help-with/plagiarism
Assignment 2 – Group
Formal Specification of a Li
ary System
Overview
Timelines and Expectations
Learning Outcomes Assessed
Assessment Details
Submission
Marking Criteria/Ru
ic
Feedback
Marks in fdlMarks, feedback to individual students via Moodle and feedback in class
Plagiarism: