HighSpec: a tool for building and checking OZTA models

Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin. HighSpec: a tool for building and checking OZTA models. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 775-778, ACM, 2006. [doi]

Authors

Jin Song Dong

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

Ping Hao

This author has not been identified. Look up 'Ping Hao' in Google

Xian Zhang

This author has not been identified. Look up 'Xian Zhang' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google