Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Mustafa Al-Lail, Wuliang Sun, Robert B. France. Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. In 2014 14th International Conference on Quality Software, Allen, TX, USA, October 2-3, 2014. pages 196-201, IEEE, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.