In the 1960's we learned how to compile assembly language into machine language. Twenty years later, we learned how to do the same for high-level languages such as C. Now it is time to compile models ...

This formal definition is in one place, giving the designer full access to the details of the specification, whereas scenarios scatter requirements among multiple diagrams. In UML, state charts or ...