Software specification

a) What problems of traditional software specifications are overcome by using mathematically formal methods of software specification?

b) Outline the impact of the use of component-based methods on the software development process

c) Give an example of an application for which evolutionary methods are appropriate and an example for which they are not. Justify your answers.

d) What steps can be taken during implementation of a software system to help ensure its eventual correctness

Question 2

A local church wishes to have a software to monitor member’s contribution and their participation in church activities. This is non-critical software though quality is a necessity but not a must. Church wishes to have systems in place before next major church event in two months away. The committee is in charge of this undertaking is not computer literate though excited about use of the facility. The resources allocated for this are minimal.

a) What is the most appropriate development process for such an information system? Justify your answer.

b) What measures should be taken to ensure quality software is developed within budget allocation

c) What advice do you have for an organization willing to use computer based information system but operating under such conditions.