Formal specification of a library system

Assignment Help Computer Engineering

Reference no: EM132303204

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

Learning Outcomes

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.

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

Attachment:- Formal Specification of a Library System.rar

Reference no: EM132303204

Questions Cloud

Research the subject and existing action plans designed : Select a current social issue related to the rights of ethnic or social groups. Research the subject and existing action plans designed to solve the issue.

Explain how you know your interviewee : Explain how you know your interviewee and why you decided to interview that particular person. Describe where the interview took place.

Examine couple or family sessions requiring assessment : Examine couple/family sessions requiring assessment and intervention, as well as exploring the challenges couple/family sessions might include.

How you would conceptualize the familys problems : For this Assignment, consider a couple/family where one member has a severe and persistent mental illness.

Formal specification of a library system : Analyse and use complex decision making to research and determine the appropriate Software Engineering tools and methodologies to utilize in a given situation

What responsibility do these countries have in ensuring : SOC450: What responsibility do these countries have in ensuring the rest of the world has fair access to these resources?

Does the rate at which people are reproducing need to be : Our obsession with continual economic growth deters us from studying the role that an expanding population plays in global warming.

Plan a future proofing data-driven information system : COIT12209 - Data Science - Central Queensland University - plan a future proofing data-driven information system to better facilitate the payment

What was the researchers methodology : What was the researcher's methodology? How were pledges hazed? Provide specific examples.

User Account

All Pages