Sciweavers

Share
COMPSAC
2002
IEEE
9 years 3 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Uniļ¬ed Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
books