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

it is group project we are 4 members in group, please follow the pdf file


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 Library 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 library 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 library - containing only books – and be able to perform the following tasks: • Add a book • Add a borrower • Delete a book • Delete a borrower • Lend a book to a borrower • Return a book from a borrower • 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 lecturer/tutor CRICOS Provider No. 00103D ITECH7410 Assignment 2 - Group Page 3 of 3 Marking Criteria/Rubric 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/current-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 Library System Overview Timelines and Expectations Learning Outcomes Assessed Assessment Details Submission Marking Criteria/Rubric Feedback Marks in fdlMarks, feedback to individual students via Moodle and feedback in class Plagiarism: