User Account

All Pages

Develop artefacts to define processes for quality assurance

Assignment Help Other Subject
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

Reviews

Write a Review

Other Subject Questions & Answers

  Cross-cultural opportunities and conflicts in canada

Short Paper on Cross-cultural Opportunities and Conflicts in Canada.

  Sociology theory questions

Sociology are very fundamental in nature. Role strain and role constraint speak about the duties and responsibilities of the roles of people in society or in a group. A short theory about Darwin and Moths is also answered.

  A book review on unfaithful angels

This review will help the reader understand the social work profession through different concepts giving the glimpse of why the social work profession might have drifted away from its original purpose of serving the poor.

  Disorder paper: schizophrenia

Schizophrenia does not really have just one single cause. It is a possibility that this disorder could be inherited but not all doctors are sure.

  Individual assignment: two models handout and rubric

Individual Assignment : Two Models Handout and Rubric,    This paper will allow you to understand and evaluate two vastly different organizational models and to effectively communicate their differences.

  Developing strategic intent for toyota

The following report includes the description about the organization, its strategies, industry analysis in which it operates and its position in the industry.

  Gasoline powered passenger vehicles

In this study, we examine how gasoline price volatility and income of the consumers impacts consumer's demand for gasoline.

  An aspect of poverty in canada

Economics thesis undergrad 4th year paper to write. it should be about 22 pages in length, literature review, economic analysis and then data or cost benefit analysis.

  Ngn customer satisfaction qos indicator for 3g services

The paper aims to highlight the global trends in countries and regions where 3G has already been introduced and propose an implementation plan to the telecom operators of developing countries.

  Prepare a power point presentation

Prepare the power point presentation for the case: Santa Fe Independent School District

  Information literacy is important in this environment

Information literacy is critically important in this contemporary environment

  Associative property of multiplication

Write a definition for associative property of multiplication.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

Submit Assignment

Academics

Major Subjects

Majors

Get In Touch

whatsapp: +1-415-670-9521

Phone: +1-415-670-9521

Email: [email protected]

TERMS & POLICIES

HELP & SUPPORT

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd