Highlights
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
1. The company has a website and apps for the mobiles
2. User needs to fill-up a particular form to be the member of UBER Eats
3. A person must register if she is interested in delivery service (driver)
4. Users must use their own credit card/debit card account while ordering the foods
5. Interested companies must register their business to Uber so that the restaurant/business should appear in the restaurant list in the app.
6. A user will have to use the mobile app to order any food.
7. The restaurant will prepare the food according to the order from users in due time so that the driver can collect it
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.
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.
This Engineering Assignment has been solved by our Engineering Experts at My Uni Paper. Our Assignment Writing Experts are efficient to provide a fresh solution to this question. We are serving more than 10000+ Students in Australia, UK & US by helping them to score HD in their academics. Our Experts are well trained to follow all marking rubrics & referencing style.
Be it a used or new solution, the quality of the work submitted by our assignment experts remains unhampered. You may continue to expect the same or even better quality with the used and new assignment solution files respectively. There’s one thing to be noticed that you could choose one between the two and acquire an HD either way. You could choose a new assignment solution file to get yourself an exclusive, plagiarism (with free Turnitin file), expert quality assignment or order an old solution file that was considered worthy of the highest distinction.
© Copyright 2026 My Uni Papers – Student Hustle Made Hassle Free. All rights reserved.