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