Q. Match the following:
A- Formal mathematical transformation:
B- Formal process model:
C-Formal Specifications:
D-Formal System development:
1- Here the formal mathema- tical representation of the system takes place.
2- It is a starting point for process analysis. It is abstract and only defines the principal process activities and deliverables.
3-Specifications expressed in a language whose vocabulary, syntax and semantics are formally defined.
4-It is more common to waterfall model, but here the development process is based on formal mathematical transformation of a system specification to an exactable program.
-
(A)
A-1,B-2,C-3,D-4
-
(B)
A-4,B-2,C-3,D-1
-
(C)
A-2,B-1,C-3,D-4
-
(D)
A-1,B-3,C-2,D-4
β
Correct Answer: (A)
A-1,B-2,C-3,D-4