1. Identify the type and the category of each of the following goals for an ambulance dispatching
system. Discuss the reasons for your classification:
a) The red button on the ambulance panel shall be pushed when the ambulance arrives at the
b) The stress inherent to working conditions of ambulance crews should be reduced.
c) An ambulance is displayed by the software as being available if and only if it is actually ready
for intervention at its ambulance station.
d) The nearest available ambulance shall be mobilized for the incident.
e) An ambulance may not be mobilized for an incident if it has not been allocated to that
f) Upon mobilization the selected ambulance shall receive a mobilization order on its mobile
2. Prepare a process-based reviewing plan for the library system. From the preliminary problem
description in Section 1.1.2 (of the textbook), define a specific role for each reviewer and, for
each role, inspection directives based on specific checklists.
3. Build a Z specification for a simple diary management system allowing users to make
appointments, cancel them, move them to another date and obtain the dates of appointments with
a given person.
4. Consider the library, train control and meeting scheduling case studies (of the textbook). For
each of them, identify the types of document that would be worth considering for background
study prior to the use of other elicitation techniques.