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