Pengcheng Zhang, Yu Zhou, Bixin Li. A service-oriented methodology supporting automatic synthesis and verification of component behavior model. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 511-516, IEEE Computer Society, 2007. [doi]
Abstract is missing.