Formal Object-Oriented Analysis and Design of an Online Ticketing System

Xiaoshan Li, Zhiming Liu, Zhensheng Guo. Formal Object-Oriented Analysis and Design of an Online Ticketing System. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 259, IEEE Computer Society, 2001. [doi]

Authors

Xiaoshan Li

This author has not been identified. Look up 'Xiaoshan Li' in Google

Zhiming Liu

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

Zhensheng Guo

This author has not been identified. Look up 'Zhensheng Guo' in Google