Develop a mathematical description for the state space

Assignment Help Other Subject
Reference no: EM132515717

ITECH 7410 Software Engineering Methodologies - Federation University

Assignment

Purpose:

The purposes of the assignment:
1. Understanding a large software system
2. Developing schema for small parts of a software system
3. To familiarize in formal design using Z

UBER, a transport network company, got attention to a large group of people in the past few years. At the time UBER is getting popularity, they have extended their business to other related domains in recent years. UBER Eats is one of them which will allow you to grab some foods from a shop/restaurant through UBER drivers. This is also getting interests among the people who are using smartphones and not that much interested to go out of home/ office for lunch/dinner.

Part 1. The company has a website and apps for the mobiles

Part 2. User needs to fill-up a particular form to be the member of UBER Eats

Part 3. A person must register if she is interested in delivery service (driver)

Part 4. Users must use their own credit card/debit card account while ordering the foods

Part 5. Interested companies must register their business to Uber so that the restaurant/business should appear in the restaurant list in the app.

Part 6. A user will have to use the mobile app to order any food.

Part 7. The restaurant will prepare the food according to the order from users in due time so that the driver can collect it

Part 8. The driver will turn-on the UBER App in her mobile and will allow her to receive any notification to hand over a packet of food to its customer.

Part 9. Entire cost calculation will be performed on the UBER side and this will be disbursed in the following month to the driver and the restaurant.

You have been assigned to a team that is developing software for the UBER Eats. Your job is to develop a part of the UBER Eats which involves: i) a user to select the food from any of the suggested companies

ii) preparing the foods and make it ready to deliver from company/restaurant side iii) a driver who will collect that food and handover it to the customer's location, iv) providing the facility to the users to update their information. Here goes the item that you need to submit in the assignment:

A. In natural language, write down the state information and the operations that are likely to be needed for the food order.

B. Develop a mathematical description for the state space of the system and present it in a schema in the Z specification language.

C. Write three possible schemas for Add User, Add Driver, Add Company, separately

D. Write a schema that describes a function to look up the phone number for a name (this is required when the driver will be delivering the food to the customer).

E. Write a robust schema to remove a company and associated information from the UBER eats database.

F. Produce a Z specification for card information that includes the information about account numbers, name, expiry date and CVV number.

G. An extensive analysis of various risk and possible way to cater to the risks

H. Conclusion about what you have gained by solving this assignment.

I. Prepare a PowerPoint presentation from your above work in 10-12 slides. Your lecturer can ask you to present the slides once you submit the assignment

Attachment:- Software Engineering Methodologies.rar

Reference no: EM132515717

Questions Cloud

Compute the number of units started : Department A started 300,000 units of product in a particular production process. Compute the number of units started and completed during March
Steps involved in resetting root password in windows : Describes the steps involved in resetting the root password in Windows.
How can the nurse teach kim parents about toilet training : Tenzin and Dechen have brought in their 24-month-old son, Kim, for his wellness examination and immunizations. Kim is the first child for Tenzin and Dechen.
How much is Eddies basis in the account : How much is Eddie's basis in the account? How much income does Eddie recognize if he withdraws the entire $300,000 balance in 2030
Develop a mathematical description for the state space : Develop a mathematical description for the state space of the system and present it in a schema in the Z specification language.
Prepare the journal entries for green company : On December 16, Green Company received Henderson Company's $7,200, Prepare the journal entries for Green Company on December 16 and December 31
Presentation using ms powerpoint highlighting : Create a presentation using MS PowerPoint highlighting a national current event utilizing the features of the software you have learned
Discuss why it is more effective to prevent security breach : Discuss why it is more effective and less expensive to prevent security breach than to fix one after an attack. Your initial response. It must be at least 250.
Compare the company operating income under the three options : Compare the company's operating income under the three options. Outsourcing and capacity utilization - PlayTime, Inc., is a leading manufacturer

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!

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