Sciweavers

Share
JUCS
2010
130views more  JUCS 2010»
8 years 2 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: 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...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
ECMDAFA
2010
Springer
135views Hardware» more  ECMDAFA 2010»
9 years 6 days ago
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
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...
Hugo Bruneliere, Jordi Cabot, Cauê Clasen, F...
books