Learn More
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling(More)
  • 1