Formal verification of an application domain using MDA and OWL
Silva J. B., Pezzin J., Federal University of Bahia and Federal University of Espírito Santo.
Abstract— The applications conceptual m...
Separation and Composition of MDA Models - An Approach using OWL and Aspect-oriented Programming
Jaguaraci Batista Silva
Federal University of Bahia Av. Adhemar de Barros s/n Ondina, Salvador –BA-B...