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 a card information that includes the information about account numbers, name, expiry date and CVV number. G. Use the Z schema calculus to get a robust version of the lookup schema. H. An extensive analysis of various risk and possible way
AssignmentTutorOnline
- Assignment status: Already Solved By Our Experts
- (USA, AUS, UK & CA PhD. Writers)
- CLICK HERE TO GET A PROFESSIONAL WRITER TO WORK ON THIS PAPER AND OTHER SIMILAR PAPERS, GET A NON PLAGIARIZED PAPER FROM OUR EXPERTS
