Question 1
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