Login / Signup

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.

Benoit BaudryAlain FaivreSudipto GhoshAlexander Pretschner
Published in: MoDELS (Workshops) (2007)
Keyphrases
  • model driven engineering
  • model checking
  • expert systems
  • knowledge management
  • data driven
  • metadata
  • data model