Write the structured specification for the function "buy a ticket on the transit system to go to a selected destination within a city" using the following format to specific the functional requirements as shown in figure 4.10 on page 97. 1. Description of the function of entity being specified 2. Description of its inputs and where these come from 3. Description of its outputs and where these go 4. Indication of what other entities are used (the requires part) 5. Description of the action to be taken 6. If a functional approach is used, a pre-condition setting out what must be true before the 2. function is called and a post-condition specifying what is true after the function is called Insulin Pump/Control Software/SRS/3.3.2 Compute insulin dose: Safe sugar level. Computes the dose of insulin to be delivered when the current measured sugar level is in the safe zone between 3 and 7 units. Current sugar reading ((2), the previous two readings (ro and r) Current sugar reading from sensor. Other readings from memory. CompDose-the dose in insulin to be delivered. Main control loop. CompDose is zero if the sugar level is stable or falling or if the level is increasing but the rate of increase is decreasing. If the level is increasing and the rate of increase is increasing, then CompDose is computed by dividing the difference between the current sugar level and the previous level by 4 and rounding the result. If the result, is rounded to Function Description Inputs Source Outputs Destination Action zero then CompDose is set to the minimum dose that can be delivered. Requirements Two previous readings so that the rate of change of sugar level can be computed. Pre-condition The insulin reservoir contains at least the maximum allowed single dose of insulin. Post-condition rO is replaced by r1 then r is replaced by 12. Side effects None. Read the following statement of requirements for part of a ticket-issuing system. Identify any ambiguities or omissions: An automated ticket-issuing system sells rail tickets. Users select their destination and input a credit card and a personal identification number. The rail ticket is issued and their credit card account charged. When the user presses the start button, a menu display of potential destinations is activated, along with a message to the user to select a destination. Once a destination has been selected, users are requested to input their credit card. Its validity is checked and the user is then requested to input a personal identifier. When the credit transaction has been validated, the ticket is issued. Write the structured specification for the function "buy a ticket on the transit system to go selected destination within a city" using the following format to specific the functional requirements as shown in figure 4.10 on page 97