2) An automated ticket-issuing system sells rail tickets. Users select their destination andinput a credit card and a personal identification number. The rail ticket is issued and theircredit card account charged. When the user presses the start button, a menu display ofpotential destinations is activated, along with a message to the user to select adestination. Once a destination has been selected, users are requested to input theircredit card. Its validity is checked and the user is then requested to input a personalidentifier. When the credit transaction has been validated, the ticket is issued.b) Rewrite the above description using the structured specification approach describedin the slides. Resolve the identified ambiguities in an appropriate way.Below is an example of the structured specification of a requirement for an insulinpumpattached image is part of the question. Insulin Pump/Control Software/SRS/3.3.2FunctionDescriptionInputsSourceOutputsDestinationAction:RequiresPreconditionPostconditionSide effectsCompute insulin dose: Safe sugar level.Computes the dose of insulin to be delivered when the current measured sugar level is in thesafe zone between 3 and 7 units.Current sugar reading (12), the previous two readings (ro and r1).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 ofincrease is decreasing. If the level is increasing and the rate of increase is increasing, thenCompDose is computed by dividing the difference between the current sugar level and theprevious level by 4 and rounding the result. If the result, is rounded to zero then CompDose isset to the minimum dose that can be delivered. (see Figure 4.14)Two previous readings so that the rate of change of sugar level can be computed.The insulin reservoir contains at least the maximum allowed single dose of insulin.ro is replaced by r1 then r1 is replaced by 12.None.

Software Requirement Engineering is the process of describing, documenting, and handling the…

Answered: 2) An automated ticket-issuing system…

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Concept explainers

Question

2) 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.
b) Rewrite the above description using the structured specification approach described
in the slides. Resolve the identified ambiguities in an appropriate way.
Below is an example of the structured specification of a requirement for an insulin
pump

attached image is part of the question.

Insulin Pump/Control Software/SRS/3.3.2
Function
Description
Inputs
Source
Outputs
Destination
Action:
Requires
Precondition
Postcondition
Side effects
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 (12), the previous two readings (ro and r1).
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 zero then CompDose is
set to the minimum dose that can be delivered. (see Figure 4.14)
Two previous readings so that the rate of change of sugar level can be computed.
The insulin reservoir contains at least the maximum allowed single dose of insulin.
ro is replaced by r1 then r1 is replaced by 12.
None.

Expert Solution

Step by step

Solved in 3 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions