Develop schema that will model a library

Assignment Help Other Subject
Reference no: EM132302001

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: EM132302001

Questions Cloud

What are some emerging technology trends : What are some emerging technology trends that have influenced your personal choice of an SDLC, either in your experience or in something you've read?
Characteristics of your ideal computer : What would you use it for? Would you choose a handheld, portable, desktop or workstation computer? Why?
Write down your personal definition of marketing : Write down a first draft of your company vision. Your vision should be a short sentence or two that describes how the world will be different because.
Identify a typical security threat : For each layer in the OSI model, identify a typical security threat and describe how each threat can be neutralized.
Develop schema that will model a library : ITECH7410 Software Engineering Methodologies - Federation University - Analysis of a large system development problem to decide upon the best methodological
Discuss the brand image you want to convey and why : Branding can lead to enhanced customer relationships because the customer can easily identify with a product. The brand might have a "status" associated.
What are some of the advantages of physical stores : What are some of the advantages of physical stores in building customer relationships? Reflect on a time when you had a great experience and when you had a poor
Discuss some hardening techniques or products : Discuss some hardening techniques or products you have used for Workstations
Prepare a second variable costing statement : Prepare a second variable costing statement assuming 90% of all the books in each category purchased were actually sold. Prepare a third variable costing.

Reviews

len2302001

5/9/2019 12:51:23 AM

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

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!

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