1. What is Requirements Engineering?

[2]
Requirements engineering is a subset of software engineering that deals with the use of
sound techniques for the development and management of software requirements.
2. What is a process in Engineering? [2]
In engineering a process is a set of interrelated tasks that together transform inputs into
outputs.
3. Why do we need well-defined processes in Engineering? [2]
Engineers have well-defined processes: Understand the requirements (which is a crucial
step toward building reliable and usable software systems.), prepare (to save time and
money later in the software development and maintenance activities.), construct, test and
these processes are tried and tested and are repeatable therefore performance improves
and production of a good quality product.
4. Requirements capture both functional and non-functional requirements. What are nonfunctional requirements? [1]
Quality requirement or non-functional requirement: describes some quality characteristic
that the software must posses
4. Explain in your own words what specification as contractmeans and what its
implications are. [3]
5. For what type of systems are formal methods most often used and why? [2]
6. How do pre- and postconditions relate to one another? [2]
7. Give a brief definition, in your own words, what formal methods are and what their
purpose is. [2]
8. Write the formulae (propositions) to denote:
(a) Peter is your brother [2]
(b) CSI302 is taught by Mike [2]
(c) Whenever it is Friday I don't go to classes [2]
9. Data flow diagrams (DFDs) may be used to model the systems data processing. You have
been contracted to automate an Order processing system. The following describes the order
processing system. Derive a DFD for the system (on the part of the company supplying the
customer only). [10]

Order processing refers to the workflow associated with serving a customers order, from the
receipt of the order, until the goods have been delivered to the customer and properly
documented. It consists of the following stages:
(i) Order Preparation - Demand for a product becomes a signal for a buyer to place an order.
This requires an order to be sent to that of a regular supplier. Standardized order forms are
used when ordering. This guides the buyers in preparing the orders, facilitates ease in
processing and minimizes errors in entry. Some important inputs on the order form are: Ship
to Address, Item Number and description, Order Quantity, and delivery date. The order form
is filled out, validated and recorded.
(ii) Order Transmittal - Once the order is finalized, the buyer sends the order to the supplier.
Once received, the seller triggers the process used in serving the order.
(iii) Order delivery - After the items have been prepared by the supplier, a shipping
confirmation is generated to record how many items were actually picked and packed for
shipment based on the order. Information confirmed at this stage serves as a basis of the
details of the shipping documents and the final invoice for the buyer. Shipping
documentation and the schedule of delivery is arranged at this point.
(iv) Order Status Reporting - It is vital to provide the buyer with a status of the order once
this has been shipped out. This starts with the tracing and tracking of the order once released
from the warehouse. The Invoice, which contains the order details and the charges, are also
released at this stage, and Invoice transmittal to the buyer is done.
(v) Good received and Sent to Customer Once the good are received the invoice is paid and
the goods are dispatched to the customer with an invoice. Payment of the invoice by the
customer completes the order process.