the previous phase, if that specification itself is in a formal language
u Establish that an architectural design is internally consistent
u Automatically generate prototypes
u Automatically generate a platform-dependent architecture.