Sciweavers

186 search results - page 38 / 38
» Animation Techniques for Chain-Coded Objects
Sort
View
152
Voted
JUCS
2010
130views more  JUCS 2010»
14 years 10 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....