Professional Documents
Culture Documents
Answer:
1 (a) The formal system development has something in common with waterfall
model but Formal System development is based on formal mathematical
transformation of a system specification to an executable programme.
Waterfall model
1
EMCS – 981 Myo Thi Ha
2
EMCS – 981 Myo Thi Ha
1 (b)
In the past few years, an approach to software development (component-
based software engineering) which relies on reuse has emerged and is becoming
widely used.
While the initial requirements specification stage and the validation stage are
comparable with other processes, the intermediate stages in a reuse-oriented
process are different. These stages are:
3
EMCS – 981 Myo Thi Ha