Problems with this approach
Graphical user interfaces cannot be prototyped
Formal specification development is not a rapid process
The executable system is usually slow and inefficient
Executable specifications only allow functional requirements to be prototyped