Critically analyse and develop artefacts to define processes

Assignment Help Computer Engineering

Reference no: EM132307776

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

Questions Cloud

Explain the purpose of the naeyc early childhood program : Explain how the "NAEYC Engaging Diverse Families Self-Assessment Checklist" is a useful tool in program evaluation.

Evaluate the trend using third person : ENG-105: Make a Judgment/Offer an Opinion: Evaluate the trend using thirdperson; offer praise or critique the trend, offering evidence to support your claims.

Offers voluntary supplemental medical insurance : This Medicare program offers voluntary supplemental medical insurance.

Present your analysis of Australia economy as a report : Australia's slow growth is not only because of a slow growth in the domestic housing market but also because of China's economic slowdown. Do you agree

Critically analyse and develop artefacts to define processes : Develop schema that will model a library - containing only books - Development of appropriate artefacts to support and manage the software engineering process

Describe the procedure used in the study to collect data : One aspect of professional development that educators can participate in is that of educational conferences.

Applying analytical strategies to area of research interest : Applying Analytical Strategies to an Area of Research Interest

Based laws exist to protect human rights violations : What US Based Laws Exist to Protect Human Rights Violations?

What are many classifications of organizations that lobby : What are the many classifications of organizations that lobby?

User Account

All Pages