160
Voted
ICSEA
2009
IEEE
15 years 14 days ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...