Solution-Develop artefacts to define processes for quality

Develop artefacts to define processes for quality assurance

Reference no: EM132311555

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

Verified Expert

The assignment is based on the Library management system. The requirements of a library are analyzed and all the entities and their attributes are identified in the system. An ER diagram and Z-diagram are also drawn for the system to understand the logical flow. The schema created in the diagram is created in the MYSQL query browser and the demonstration is done using some sample queries.

Reference no: EM132311555

Questions Cloud

How do we analyze qualitative research : How do we analyze qualitative research and Qualitative research is analyzed with statistical methods such as correlation, regression, ANOVA, and descriptive

How can the workflow be streamlined for going : How can the workflow be streamlined for Going - overage of some parts which now have to be stocked and a shortage of other parts

Demonstrate your understanding of the problems : INF701 Management Informatics- University of the Sunshine Coast Australia- Write a report where you use the strategic framework tools discussed in the lectures.

Establish your preliminary judgment about materiality : Discuss the audit risk model, and ascertain which sampling or non-sampling techniques you would use in order to establish your preliminary judgment.

Develop artefacts to define processes for quality assurance : Implement quality assurance activities in order to verify user requirements and validate design decisions - Analysis of a large system development problem

What has occurred with your selected company dividend payout : What has occurred with your selected company's dividend payout, dividend yield, and dividend per share over the past three years? Do you have any explanations.

Examine the role of professional ethics in conducting audit : Examine the role of professional ethics in conducting an audit. Select an ethical dilemma that may arise during an audit and discuss how you would resolve it.

Conclusions and feasible recommendations : The report is required to critically evaluate support or barriers to creativity, innovation and corporate entrepreneurship in an organisation.

Develop a plan to reduce bias and promote personal growth : NR-500 Foundational Concepts & Applications Assignment: Addressing Bias, Chamberlain University, USA. Develop a plan to reduce bias and promote personal growth

User Account

All Pages

Develop artefacts to define processes for quality assurance

Reference no: EM132311555

Reference no: EM132311555

Questions Cloud

Reviews

Write a Review

Other Subject Questions & Answers

What are some potential solutions to those challenges

Explain the significance of the due process

Stages identified by kubler ross in the process of dying

Understanding the history of western civilization

How would you prioritize training and population

What you learned from the presentation

What were the differences in the sources of employees

Discuss about a specific helath policy

Develop a comprehensive summation of their practicum site

Discuss what is process for obtaining citizenship

Define what is court''s proximate casusation

Important aspect of customer service

Assured A++ Grade

Academics

Major Subjects

Majors

Get In Touch

TERMS & POLICIES

HELP & SUPPORT