Sciweavers

3255 search results - page 8 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
ICSEA
2009
IEEE
13 years 5 months ago
Integrating Formal Methods with Model-Driven Engineering
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...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...