Linking UML with Integrated Formal Techniques

Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi. Linking UML with Integrated Formal Techniques. In Unified Modeling Language: Systems Analysis, Design and Development Issues. pages 210-223, 2001.

Authors

Jing Liu

This author has not been identified. Look up 'Jing Liu' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Brendan P. Mahony

This author has not been identified. Look up 'Brendan P. Mahony' in Google

Kun Shi

This author has not been identified. Look up 'Kun Shi' in Google