Section 5 SDLC Processes and Methods and the Security of Software
Table 5-1. Formal Methods Activities and SDLC Phases - continued
Formal Method Activity Description SDLC Phases in Which Undertaken
Model-driven architecture (MDA):