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:
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
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
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
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
4. Write three (3) non-trivial predicate statements about your system; explain them and show
that they are true