A UML validation toolset based on abstract state machines.
Autor: | Wuwei Shen, Compton, K., Huggins, J. |
---|---|
Zdroj: | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001); 2001, p315-318, 4p |
Databáze: | Complementary Index |
Externí odkaz: |