Which development model/method is directly linked to the traditional concept of formal specifications?

A、the IBM Rational Unified Process (RUP);

B、Model Driven Architecture (MDA);

C、Agile software development;

D、Aspect-oriented development