JUCS
2010
13 years 7 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
ECMDAFA
2010
Springer
14 years 5 months ago
2010
Springer
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...