Ontology-Based Semantic Verification for UML Behavioral Models

Hongyue He, Zhixue Wang, Qingchao Dong, Weizhong Zhang, Weixing Zhu. Ontology-Based Semantic Verification for UML Behavioral Models. International Journal of Software Engineering and Knowledge Engineering, 23(2):117-146, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.