Documents tagged with congresso

Add to your reading list

Formal Verification of an Application Domain Using MDA and OWL_WCECS_2007

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...
  • jaguaracisilva published this 08 / 25 / 2009
  • 136 reads
  • 0 comments
Add to your reading list

Separation and Composition of MDA Models - An Approach using OWL and Aspect-oriented Programming

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...
  • jaguaracisilva published this 08 / 25 / 2009
  • 175 reads
  • 0 comments