《软件学报》 2005年第05期

;